F-IDE@NFM

Keyphrases

Publications

2021

Gidon Ernst, Johannes Blau, Toby Murray
Deductive Verification via the Debug Adapter Protocol. F-IDE@NFM (2021)
Shiri Morshtein, Ran Ettinger, Shmuel S. Tyszberowicz
Verifying Time Complexity of Binary Search using Dafny. F-IDE@NFM (2021)
Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
Analysis of Source Code Using UPPAAL. F-IDE@NFM (2021)
Benedikt F. H. Becker, Cláudio Belo Lourenço, Claude Marché
Explaining Counterexamples with Giant-Step Assertion Checking. F-IDE@NFM (2021)
Yannick Moy
How the Analyzer can Help the User Help the Analyzer. F-IDE@NFM (2021)
Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. F-IDE@NFM (2021)
Guillaume Melquiond
Plotting in a Formally Verified Way. F-IDE@NFM (2021)
Andrea Domenici, Cinzia Bernardeschi
A Logic Theory Pattern for Linearized Control Systems. F-IDE@NFM (2021)
Rutger van Beusekom, Bert de Jonge, Paul F. Hoogendijk, Jan Nieuwenhuizen
Dezyne: Paving the Way to Practical Formal Software Engineering. F-IDE@NFM (2021)
Stefan Mitsch
Implicit and Explicit Proof Management in KeYmaera X. F-IDE@NFM (2021)

volume 338, 2021

Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021. F-IDE@NFM 338 (2021)