![](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
Electronic Communication of the European Association of Software Science and Technology, Volume 76
Volume 76, 2018
- David Pichardie, Mihaela Sighireanu:
Preface.
- Yannick Moy:
Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software. - Eduard Kamburjan:
Detecting Deadlocks in Formal System Models with Condition Synchronization. - Jan Steffen Becker:
Analyzing Consistency of Formal Requirements. - Cristina Serban, Radu Iosif:
An Entailment Checker for Separation Logic with Inductive Definitions. - Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings, Moritz Gericke:
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation. - Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz:
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks. - Rebeka Farkas, Tamás Tóth, Ákos Hajdu
, András Vörös:
Backward Reachability Analysis for Timed Automata with Data Variables. - Christophe Limbrée, Charles Pecheur:
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. - Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann:
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. - Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym:
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base. - Eric Madelaine, Xudong Qin, Min Zhang
, Simon Bliudze:
Using SMT Engine to Generate Symbolic Automata.
![](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.