Sciweavers

Share
CORR
2008
Springer
144views Education» more  CORR 2008»
8 years 3 months ago
Modular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
Annie Ressouche, Daniel Gaffé, Valér...
FM
2003
Springer
88views Formal Methods» more  FM 2003»
8 years 8 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