![](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 53
Volume 53, 2012
- Gerald Lüttgen, Stephan Merz:
Preface. - Radu I. Siminiceanu, Ijaz Ahmed, Néstor Cataño:
Automated Verification of Specifications with Typestates and Access Permissions. - Yang Zhao, Kristin Yvonne Rozier:
Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System. - Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner:
Optimized Transformation and Verification of SystemC Methods. - Jeroen J. A. Keiren, Martijn Klabbers:
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2. - Stephan Merz, Hernán Vanzetto:
Harnessing SMT Solvers for TLA+ Proofs. - Markus Roggenbach, Faron Moller, Steve A. Schneider, Helen Treharne, Hoang Nga Nguyen:
Railway modelling in CSP||B: the double junction case study. - Rajiv Murali, Andrew Ireland:
E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs. - Hassan Hatefi, Holger Hermanns
:
Model Checking Algorithms for Markov Automata. - Tom van Dijk, Alfons Laarman
, Jaco van de Pol:
Multi-core and/or Symbolic Model Checking. - Holger Gast:
Semi-automatic Proofs about Object Graphs in Separation Logic. - Brijesh Dongol, John Derrick, Ian J. Hayes:
Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic. - Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn:
Proving Linearizability of Multiset with Local Proof Obligations.
![](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.