Proceedings Second International Workshop on Formal Integrated Development Environment
Catherine Dubois (ENSIIE), Paolo Masci (Queen Mary University of, London), Dominique M\'ery (LORIA, Universit\'e de Lorraine)

TL;DR
The F-IDE 2015 workshop proceedings focus on advancing formal integrated development environments to improve safety, security, and privacy standards through better tools for specification, verification, and documentation in software development.
Contribution
This volume presents research and experiences on designing and using formal IDEs to make formal methods more accessible for both experts and non-specialists.
Findings
Enhanced tools for handling specifications and proofs
Improved integration of formal methods into development workflows
Facilitated review and justification of design choices
Abstract
This volume contains the proceedings of F-IDE 2015, the second international workshop on Formal Integrated Development Environment, which was held as an FM 2015 satellite event, on June 22, 2015, in Oslo (Norway). High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs. Thus tools are needed for handling specifications, program constructs and verification artifacts. The aim of the F-IDE workshop is to provide a forum for presenting and discussing research efforts as well as experience returns on design, development and usage of formal IDE aiming at making formal methods "easier" for both specialists and…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
