F-IDE

Publications

2015

Frank Dordowsky
An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project. F-IDE (2015)
Julien Signoles
Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example. F-IDE (2015)
Bojan Nokovic, Emil Sekerinski
A Holistic Approach in Embedded System Development. F-IDE (2015)
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen
Towards Enabling Overture as a Platform for Formal Notation IDEs. F-IDE (2015)
Nabil M. Kabbani, Daniel Welch, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. F-IDE (2015)
Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen
The AutoProof Verifier: Usability by Non-Experts and on Standard Code. F-IDE (2015)
Dipak L. Chaudhari, Om P. Damani
Building an IDE for the Calculational Derivation of Imperative Programs. F-IDE (2015)

2014

volume 149, 2014

Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. F-IDE 149 (2014)