F-IDE F-IDE-18 PROCEEDINGS
| Authors | Title | Paper | Talk |
|---|
| Jean-Christophe Filliâtre | Auto-active verification using Why3's IDE |  | |
| Leo Freitas | VDM at large: Modelling the EMVCo 2nd Generation Kernel | | |
| Sylvain Dailler, Claude Marché and Yannick Moy | Lightweight Interactive Proving inside an Automatic Program Verifier | | Jul 14 10:00 |
| Makarius Wenzel | Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents | | Jul 14 16:00 |
| Jan Bessai and Anna Vasileva | User Support for the Combinator Logic Synthesizer Framework | | Jul 14 11:00 |
| Alexander Knüppel, Carsten Pardylla, Thomas Thüm and Ina Schaefer | Experience Report on Formally Verifying Parts of OpenJDK's API with KeY | | Jul 14 15:00 |
| Paolo Arcaini, Riccardo Melioli and Elvinia Riccobene | AsmetaF: a flattener for the ASMETA framework | | Jul 14 11:30 |
| Rui Couto, José Creissac Campos, Nuno Macedo and Alcino Cunha | Improving the Visualization of Alloy Instances | | Jul 14 12:00 |
| Spencer Park and Emil Sekerinski | A Notebook Format for the Holistic Design of Embedded Systems | | Jul 14 16:30 |
| Devesh Bhatt, Anitha Murugesan, Brendan Hall, Hao Ren and Yogananda Jeppu | The CLEAR Way To Transparent Formal Methods | | Jul 14 17:00 |
| Nathaniel Watson, Steve Reeves and Paolo Masci | Integrating user design and formal models within PVSio-Web | | Jul 14 17:30 |