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 (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FTfJP-2018-papers
14:00 - 15:30: FTfJP - Session 2 at Hanoi
FTfJP-2018-papers14:00 - 15:00
Talk
Sophia DrossopoulouImperial College London
FTfJP-2018-papers15:00 - 15:30
Full-paper
David CokCEA, LIST, Software Safety and Security Laboratory
Pre-print