Formal Techniques for Java Programs

14 years 3 months ago

Download www.cs.ru.nl

This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations and discussions.

Gary T. Leavens, Sophia Drossopoulou, Susan Eisenb

Real-time Traffic

Distributed And Parallel Computing | ECOOPW 2001 | Formal Techniques | Java Programs | Motivation |

claim paper

» Formal Grammar for Java

» PlatformSpecific Restrictions on Concurrency in Model Checking of Java Programs

» Checking and Correcting Behaviors of Java Programs at Runtime with JavaMOP

» Automated Certification of NonInterference in Rewriting Logic

» An instrumentation technique for online analysis of multithreaded programs

» A Formally Verified Calculus for Full Java Card

» Model Checking Programs

» Formal Analysis of Java Programs in JavaFAN

Post Info
More Details (n/a)

Added	28 Jul 2010
Updated	28 Jul 2010
Type	Conference
Year	2001
Where	ECOOPW
Authors	Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll

Comments (0)

Sciweavers

Formal Techniques for Java Programs

Distributed And Parallel Computing | ECOOPW 2001 | Formal Techniques | Java Programs | Motivation |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers