Stop the war!
Остановите войну!
for scientists:
default search action
1st F-IDE@ETAPS 2014: Grenoble, France
- Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry:
Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. EPTCS 149, 2014 - K. Rustan M. Leino, Valentin Wüstholz:
The Dafny Integrated Development Environment. 3-15 - Jens Bendisposto, Sebastian Krings, Michael Leuschel:
Who watches the watchers: Validating the ProB Validation Tool. 16-29 - Mathieu Jaume, Théo Laurent:
Teaching Formal Methods and Discrete Mathematics. 30-43 - David R. Cok, Scott C. Johnson:
SPEEDY: An Eclipse-based IDE for invariant inference. 44-57 - Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek:
Experience in using a typed functional language for the development of a security application. 58-63 - François Pessaux:
FoCaLiZe: Inside an F-IDE. 64-78 - David R. Cok:
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse. 79-92 - John Witulski, Michael Leuschel:
Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB. 93-105
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.