Vol. 66 (2014): Automated Verification of Critical Systems 2013

Articles

• On the Satisfiability of Metric Temporal Logics over the Reals

  Marcello Bersani, Matteo Rossi, Pierluigi San Pietro

  • PDF

• Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling

  Dana Dghaym, Michael Butler, Asieh Salehi Fathabadi

  • PDF

• Simplifying proofs of linearisability using layers of abstraction

  Brijesh Dongol, John Derrick

  • PDF

• Fully Symbolic TCTL Model Checking for Incomplete Timed Systems

  Georges Morbé, Christoph Scholl

  • PDF

• From System Requirements to Software Requirements in the Four-Variable Model

  Lucian Patcas, Mark Lawford, Tom Maibaum

  • PDF

• Verifying a Mix Net in CSP

  Efstathios Stathakidis, David Williams, James Heather

  • PDF

• Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata

  Alexandre David, Kim G. Larsen, Axel Legay, Danny Poulsen

  • PDF

• Integrating model checking and UML based model-driven development for embedded systems

  Zamira Daw, Rance Cleaveland, Marcus Vetter

  • PDF

• Richer Interface Automata with Optimistic and Pessimistic Compatibility

  Gerald Lüttgen, Walter Vogler

  • PDF

• Automated Analysis of Voting Systems with Dolev-Yao Intruder Model

  Murat Moran, James Heather

  • PDF

• On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation

  Vahid Hashemi, Holger Hermanss, Andrea Turrini

  • PDF

• Compositional Verification of a Lock-Free Stack with RGITL

  Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfahler, Wolfgang Reif

  • PDF

• Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification

  zeinab sharifi, Mahdi Mosaffa, Siamak Mohammadi, Marjan Sirjani

  • PDF

• Building Traceable Event-B Models from Requirements

  Eman Alkhammash, Asieh Salehi Fathabadi, Michael Butler, Corina Cirstea

  • PDF