Blogs (61) >>
Mon 16 Jul 2018 15:00 - 15:30 at Hanoi - Session 2

The author has performed various formal verification projects on industrial software of particular interest to the sponsoring company or its customers, using the Java Modeling Language and the OpenJML tool. Such projects provide particular insight into both usability and expressiveness of formal verification languages and tools. This paper describes several specification idioms that fill particular specification needs encountered in the verification projects. Consistent style and use of idioms helps readers quickly understand the content of specifications. Useful idioms also point to opportunities for specification inference and syntactic sugar.

Mon 16 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Session 2FTfJP at Hanoi
14:00
60m
Talk
Towards specifications of robustness -- the things that programs do *not* doKeynote
FTfJP
Sophia Drossopoulou Imperial College London
15:00
30m
Full-paper
Specification Idioms from Industrial Experience
FTfJP
David Cok CEA, LIST, Software Safety and Security Laboratory
Pre-print