- CAESARSOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems Radu Mateescu Fri 02 March 2012
- FAST: acceleration from theory to practice Sébastien Bardin Alain Finkel Jérôme Leroux Laure Petrucci Fri 02 March 2012
- A survey of new trends in symbolic execution for software testing and analysis Corina S. Păsăreanu Willem Visser Fri 02 March 2012
- Abstraction-guided synthesis of synchronization Martin Vechev Eran Yahav Greta Yorsh Fri 02 March 2012
- Synthesis from component libraries Yoad Lustig Moshe Y. Vardi Fri 02 March 2012
- Program sketching Armando Solar-Lezama Fri 02 March 2012
- Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic Nuno P. Lopes José Monteiro Fri 02 March 2012
- A unified view of parameterized verification of abstract models of broadcast communication Giorgio Delzanno Fri 02 March 2012
- Synthesizing, correcting and improving code, using model checking-based genetic programming Gal Katz Doron Peled Fri 02 March 2012
- Parameterized verification Parosh A. Abdulla Giorgio Delzanno Fri 02 March 2012
- Coqoon Alexander Faithfull Jesper Bengtson Enrico Tassi Carst Tankink Fri 02 March 2012
- Verification of randomized consensus algorithms under round-rigid adversaries Nathalie Bertrand Igor Konnov Marijana Lazić Josef Widder Fri 02 March 2012
- What can we monitor over unreliable channels Sean Kauffman Klaus Havelund Sebastian Fischmeister Fri 02 March 2012
- HYTECH: a~model checker for hybrid systems Thomas A. Henzinger Pei-Hsin Ho Howard Wong-Toi Fri 02 March 2012
- Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS Mihaela Sighireanu Radu Mateescu Fri 02 March 2012
- State space reduction using partial order techniques E.M. Clarke O. Grumberg M. Minea D. Peled Fri 02 March 2012
- NUSMV: a new symbolic model checker Alessandro Cimatti Edmund Clarke Fausto Giunchiglia Marco Roveri Fri 02 March 2012
- Constraint-based deductive model checking Giorgio Delzanno Andreas Podelski Fri 02 March 2012
- A policy-improvement type algorithm for solving zero-sum two-person stochastic games of perfect information T.E.S. Raghavan Zamir Syed Fri 02 March 2012
- Exotic Quantifiers, Complexity Classes, and Complete Problems Peter Bürgisser Felipe Cucker Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
