Sciweavers

Share
FM
2003
Springer
136views Formal Methods» more  FM 2003»
10 years 3 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
FM
2003
Springer
115views Formal Methods» more  FM 2003»
10 years 3 months ago
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
Alessandro Armando, Luca Compagna, Pierre Ganty
FM
2003
Springer
96views Formal Methods» more  FM 2003»
10 years 3 months ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial
FM
2003
Springer
88views Formal Methods» more  FM 2003»
10 years 3 months ago
Java Applet Correctness: A Developer-Oriented Approach
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
Lilian Burdy, Antoine Requet, Jean-Louis Lanet
books