Keyphrase: verification
Eike Möhlmann, Willem Hagemann and Astrid RakowVerifying a PI Controller using SoapBox and Stabhyli
Axel Busboom, Simone Schuler and Alexander WalschformalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification
Sergiy Bogomolov, Christian Herrera and Wilfried SteinerVerification of Fault-Tolerant Clock Synchronization Algorithms
Andrew Sogokon, Khalil Ghorbal and Taylor T JohnsonNon-linear Continuous Systems for Safety Verification
Stanley Bak, Sergiy Bogomolov and Christian SchillingHigh-level Hybrid Systems Analysis with Hypy
Simone Schuler, Fabiano Daher Adegas and Adolfo AntaHybrid Modelling of a Wind Turbine
Sidharta Andalam, Avinash Malik, Partha Roop and Mark TrewHybrid Automata Model of the Heart for Formal Verification of Pacemakers
Jonathan ProtzenkoFunctional Pearl: the Proof Search Monad
Victor Gan, Guy Dumont and Ian MitchellBenchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery
Ibtissem Ben Makhlouf and Stefan KowalewskiNetworked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools
Thomas Heinz, Jens Oehlerking and Matthias WoehrleBenchmark: Reachability on a model with holes
Hongxu Chen, Sayan Mitra and Guangyu TianMotor-Transmission Drive System: a Benchmark Example for Safety Verification
Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra and Mahesh ViswanathanProgress on Powertrain Verification Challenge with C2E2
Stefano Minopoli and Goran FrehseRunning SpaceEx on the ARCH14 Benchmarks
Kyungmin Bae, Soonho Kong and Sicun GaoSMT Encoding of Hybrid Systems in dReal
Matthias AlthoffAn Introduction to CORA 2015
A. E. C. Da CunhaBenchmark: Quadrotor Attitude Control
Thomas Strathmann and Jens OehlerkingVerifying Properties of an Electro-Mechanical Braking System
Thomas SewellFormal Replay of Translation Validation for Highly Optimised C
Antonina NepeivodaVerification of Multi-Party Ping-Pong Protocols via Program Transformation
Alexei Lisitsa and Andrei NemytykhA Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
Andrew M. MironovA Sufficient Condition for the Observational Equivalence of Processes
Simon ThompsonBuilding trustworthy refactoring tools
Dominique Mery and Rosemary MonahanTransforming Event B Models into Verified C# Implementations
Amit Goel, Sava Krstic, Rebekah Leslie and Mark TuttleSMT-Based System Verification with DVF
Thomas Martin Gawlitza and Helmut SeidlAbstract Interpretation over Zones without Widening
Igor KonnovCheAPS: a Checker of Asynchronous Parameterized Systems
Shuling Wang and Xu WangProving Simpson's Four-Slot Algorithm Using Ownership Transfer