default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Communication of the European Association of Software Science and Technology, Volume 76
Volume 76, 2019
Automated Verification of Critical Systems (AVoCS 2018)
Preface
- David Pichardie, Mihaela Sighireanu:
Preface.
Articles
- 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.
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.
last updated on 2026-06-12 21:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
