Specification Idioms from Industrial Experience
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
|14:00 - 15:00|
Sophia DrossopoulouImperial College London
|15:00 - 15:30|
David CokCEA, LIST, Software Safety and Security LaboratoryPre-print