![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
5th F-IDE@FM 2019: Porto, Portugal
- Rosemary Monahan, Virgile Prevosto
, José Proença
:
Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. EPTCS 310, 2019 - Jan Bessai, Moritz Roidl, Anna Vasileva:
Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis. 1-6 - Denis Cousineau, David Mentré, Hiroaki Inoue:
Automated Deductive Verification for Ladder Programming. 7-12 - Frédéric Tuong, Burkhart Wolff:
Deeply Integrating C11 Code Support into Isabelle/PIDE. 13-28 - Peter D. Mosses
:
A Component-Based Formal Language Workbench. 29-34 - Paolo Masci, César A. Muñoz:
An Integrated Development Environment for the Prototype Verification System. 35-49 - Markus Alexander Kuppe
, Leslie Lamport, Daniel Ricketts:
The TLA+ Toolbox. 50-62 - Julien Brunel, David Chemouil, Alcino Cunha
, Nuno Macedo
:
Simulation under Arbitrary Temporal Logic Constraints. 63-69 - Eduard Kamburjan
, Jonas Stromberg:
Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability. 70-85
![](https://dblp.org/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.