![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
6th F-IDE@NFM 2021: Online
- José Proença, Andrei Paskevich:
Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021. EPTCS 338, 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. 3-18 - Rutger van Beusekom, Bert de Jonge, Paul F. Hoogendijk, Jan Nieuwenhuizen:
Dezyne: Paving the Way to Practical Formal Software Engineering. 19-30 - Mitja Kulczynski
, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
:
Analysis of Source Code Using UPPAAL. 31-38 - Guillaume Melquiond
:
Plotting in a Formally Verified Way. 39-45 - Andrea Domenici
, Cinzia Bernardeschi:
A Logic Theory Pattern for Linearized Control Systems. 46-52 - Stefan Mitsch:
Implicit and Explicit Proof Management in KeYmaera X. 53-67 - Shiri Morshtein, Ran Ettinger, Shmuel S. Tyszberowicz:
Verifying Time Complexity of Binary Search using Dafny. 68-81 - Benedikt F. H. Becker, Cláudio Belo Lourenço
, Claude Marché:
Explaining Counterexamples with Giant-Step Assertion Checking. 82-88 - Gidon Ernst
, Johannes Blau, Toby Murray:
Deductive Verification via the Debug Adapter Protocol. 89-96 - Yannick Moy:
How the Analyzer can Help the User Help the Analyzer. 97-104
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.