*** Apologies for multiple copies ***
We are glad to announce the publication of the following book:
Design and Safety Assessment of Critical Systems
by Marco Bozzano and Adolfo Villafiorita
CRC Press (Taylor and Francis Group), November 2010.
An introduction to the area of design
The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy
is happy to announce the availability of
xSAP 1.0.0
xSAP is a tool for safety assessment of synchronous finite-state and
infinite-state systems, based on symbolic model checking techniques.
xSAP provides the following main
The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy
is happy to announce the availability of
xSAP 1.1.0
This is a major release, containing new features, and a few bug fixes.
The documentation has been updated to cover the new features.
==
Marco Bozzano, PhD, Researcher at FBK
Via Sommarive 18, Povo, 38123 Trento (Italy)
ph.: +39-0461-314367, mobile ph.: +39-328-8453534
bozz...@fbk.eu, http://es.fbk.eu/people/bozzano
September.
Committees
General Chairs
Marco Bozzano (FBK, IT)
Yiannis Papadopoulos (University of Hull, GB)
PC-Chairs
Marco Bozzano (FBK, IT)
Antoine Rauzy (Norwegian University of Science and Technology, NO)
Tools & Tutorials Chairs
Leila Kloul (Universite de Versailles, FR)
Christel Se
entional talks about newest achievements, presentation of
practical experiences and interactive learning allows for fruitful
discussions, exchange of information as well as future cooperation.
COMMITTEES
General Chairs
Marco Bozzano (FBK, IT)
Yiannis Papadopoulos (University of Hull, GB)
PC-Chairs