Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic 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.
a service of 
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 2024-04-22 20:03 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:
