F-IDE@FLoC

Publications

2018

Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha
Improving the Visualization of Alloy Instances. F-IDE@FLoC (2018)
Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene
AsmetaF: A Flattener for the ASMETA Framework. F-IDE@FLoC (2018)
Makarius Wenzel
Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents. F-IDE@FLoC (2018)
Jan Bessai, Anna Vasileva
User Support for the Combinator Logic Synthesizer Framework. F-IDE@FLoC (2018)
Sylvain Dailler, Claude Marché, Yannick Moy
Lightweight Interactive Proving inside an Automatic Program Verifier. F-IDE@FLoC (2018)
Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. F-IDE@FLoC (2018)
Nathaniel Watson, Steve Reeves, Paolo Masci
Integrating User Design and Formal Models within PVSio-Web. F-IDE@FLoC (2018)
Spencer Park, Emil Sekerinski
A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper). F-IDE@FLoC (2018)

volume 284, 2018

Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018. F-IDE@FLoC 284 (2018)