default search action
28th CAV 2016: Toronto, ON, Canada
- Swarat Chaudhuri, Azadeh Farzan:
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. Lecture Notes in Computer Science 9780, Springer 2016, ISBN 978-3-319-41539-0
Verification in Practice
- Marco Gario
, Alessandro Cimatti
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. 3-22 - Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. 23-41 - Alastair Reid
End-to-End Verification of Processors with ISA-Formal. 42-58 - Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li:
A Practical Verification Framework for Preemptive OS Kernels. 59-79 - Mark Santolucito
Probabilistic Automated Language Learning for Configuration Files. 80-87
Concurrency
- Yu-Fang Chen
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach. 91-111 - Anthony W. Lin, Philipp Rümmer:
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers. 112-133 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson:
Stateless Model Checking for POWER. 134-156 - Dmitry Chistikov
Hitting Families of Schedules for Asynchronous Programs. 157-176 - Vladimir Herdt, Hoang Minh Le, Daniel Große
ParCoSS: Efficient Parallelized Compiled Symbolic Simulation. 177-183
Constraint Solving II
- Zhoulai Fu, Zhendong Su
XSat: A Fast Floating-Point Satisfiability Solver. 187-209 - Samuel Drews, Aws Albarghouthi:
Effectively Propositional Interpolants. 210-229 - Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov:
Array Folds Logic. 230-248
Automata and Games
- Rajeev Alur, Salar Moarref, Ufuk Topcu
Compositional Synthesis of Reactive Controllers for Multi-agent Systems. 251-269 - Massimo Benerecetti
Solving Parity Games via Priority Promotion. 270-290 - Ernst Moritz Hahn, Sven Schewe
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. 291-311 - Salomon Sickert
Limit-Deterministic Büchi Automata for Linear Temporal Logic. 312-332 - Rüdiger Ehlers
Slugs: Extensible GR(1) Synthesis. 333-339
Synthesis II
- Hassan Eldib, Meng Wu, Chao Wang:
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits. 343-363 - Alexander Legg, Nina Narodytska, Leonid Ryzhyk:
A SAT-Based Counterexample Guided Method for Unbounded Synthesis. 364-382 - Loris D'Antoni, Roopsha Samanta, Rishabh Singh:
Qlose: Program Repair with Quantitative Objectives. 383-401 - Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
BDD-Based Boolean Functional Synthesis. 402-421 - Herbert Jordan, Bernhard Scholz, Pavle Subotic:
Soufflé: On Synthesis of Program Analyzers. 422-430
Model Checking II
- Grigory Fedyukovich
Property Directed Equivalence via Abstract Simulation. 433-453 - Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager:
Combining Model Learning and Model Checking to Analyze TCP Implementations. 454-471 - Anton Wijs
BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs. 472-493 - Michele Sevegnani
BigraphER: Rewriting and Analysis Engine for Bigraphs. 494-501 - Dirk Beyer
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses. 502-509 - Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli
The Kind 2 Model Checker. 510-517
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 2025-01-27 20:32 CET 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: