FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Integrating user design and formal models within PVSio-Web

Nathaniel Watson, Steve Reeves and Paolo Masci

Improving the Visualization of Alloy Instances

Rui Couto, José Creissac Campos, Nuno Macedo and Alcino Cunha

Auto-active verification using Why3's IDE

Jean-Christophe Filliâtre

User Support for the Combinator Logic Synthesizer Framework

Jan Bessai and Anna Vasileva

Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents

Makarius Wenzel

Lightweight Interactive Proving inside an Automatic Program Verifier

Sylvain Dailler, Claude Marché and Yannick Moy

AsmetaF: a flattener for the ASMETA framework

Paolo Arcaini, Riccardo Melioli and Elvinia Riccobene
Total: 7 presentations.