EasyChair Smart SlideDocs/Log in
Conference: F-IDE-18 (Formal Integrated Development Environment)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Integrating user design and formal models within PVSio-Web

Integrating user design and formal models within PVSio-Web

Nathaniel Watson, Steve Reeves and Paolo Masci

Improving the Visualization of Alloy Instances

Improving the Visualization of Alloy Instances

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

Auto-active verification using Why3's IDE

Auto-active verification using Why3's IDE

Jean-Christophe Filliâtre

User Support for the Combinator Logic Synthesizer Framework

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

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

Makarius Wenzel

Lightweight Interactive Proving inside an Automatic Program Verifier

Lightweight Interactive Proving inside an Automatic Program Verifier

Sylvain Dailler, Claude Marché and Yannick Moy

AsmetaF: a flattener for the ASMETA framework

AsmetaF: a flattener for the ASMETA framework

Paolo Arcaini, Riccardo Melioli and Elvinia Riccobene

Presentations in this collection: 7
Copyright © 2002 – 2024 EasyChair