The SCEAS System
Navigation Menu

Conferences in DBLP

Computer Aided Verification (CAV) (cav)
2007 (conf/cav/2007)

  1. Byron Cook
    Automatically Proving Program Termination. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:1- [Conf]
  2. David M. Russinoff
    A Mathematical Approach to RTL Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:2- [Conf]
  3. Thomas Kropf
    Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:3- [Conf]
  4. Dirk Beyer, Thomas A. Henzinger, Vasu Singh
    Algorithms for Interface Synthesis. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:4-19 [Conf]
  5. Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar
    A Tutorial on Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:20-36 [Conf]
  6. Gary T. Leavens, Joseph R. Kiniry, Erik Poll
    A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:37- [Conf]
  7. Martin Fränzle
    Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:38- [Conf]
  8. Nishant Sinha, Edmund M. Clarke
    SAT-Based Compositional Verification Using Lazy Learning. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:39-54 [Conf]
  9. Ariel Cohen, Kedar S. Namjoshi
    Local Proofs for Global Safety Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:55-67 [Conf]
  10. Denis Gopan, Thomas W. Reps
    Low-Level Library Analysis and Summarization. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:68-81 [Conf]
  11. Sagar Chaki, Christian Schallhart, Helmut Veith
    Verification Across Intellectual Property Boundaries. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:82-94 [Conf]
  12. Oded Maler, Dejan Nickovic, Amir Pnueli
    On Synthesizing Controllers from Bounded-Response Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:95-107 [Conf]
  13. Luca de Alfaro, Marco Faella
    An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:108-120 [Conf]
  14. Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
    UPPAAL-Tiga: Time for Playing Games! [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:121-125 [Conf]
  15. Martin Ouimet, Kristina Lundqvist
    The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:126-130 [Conf]
  16. Bengt Jonsson, Mayank Saksena
    Systematic Acceleration in Regular Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:131-144 [Conf]
  17. Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
    Parameterized Verification of Infinite-State Processes with Global Conditions. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:145-157 [Conf]
  18. Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe
    CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:158-163 [Conf]
  19. Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza
    jMoped: A Test Environment for Java Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:164-167 [Conf]
  20. Nathaniel Charlton, Michael Huth
    Hector: Software Model Checking with Cooperating Analysis Plugins. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:168-172 [Conf]
  21. Jean-Christophe Filliâtre, Claude Marché
    The Why/Krakatoa/Caduceus Platform for Deductive Program Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:173-177 [Conf]
  22. Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang
    Shape Analysis for Composite Data Structures. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:178-192 [Conf]
  23. Ranjit Jhala, Kenneth L. McMillan
    Array Abstractions from Proofs. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:193-206 [Conf]
  24. Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer
    Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:207-220 [Conf]
  25. Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv
    Revamping TVLA: Making Parametric Shape Analysis Competitive. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:221-225 [Conf]
  26. Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta
    Fast and Accurate Static Data-Race Detection for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:226-239 [Conf]
  27. Feng Chen, Grigore Rosu
    Parametric and Sliced Causality. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:240-253 [Conf]
  28. Gaël Patin, Mihaela Sighireanu, Tayssir Touili
    Spade: Verification of Multithreaded Dynamic and Recursive Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:254-257 [Conf]
  29. Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, Roderick Bloem
    Anzu: A Tool for Property Synthesis. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:258-262 [Conf]
  30. Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev
    RAT: A Tool for the Formal Analysis of Requirements. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:263-267 [Conf]
  31. Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo
    Parallelising Symbolic State-Space Generators. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:268-280 [Conf]
  32. Jiri Barnat, Lubos Brim, Pavel Simecek
    I/O Efficient Accepting Cycle Detection. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:281-293 [Conf]
  33. Robert Brummayer, Armin Biere
    C32SAT: Checking C Expressions. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:294-297 [Conf]
  34. Clark Barrett, Cesare Tinelli
    CVC3. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:298-302 [Conf]
  35. Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon
    BAT: The Bit-Level Analysis Tool. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:303-306 [Conf]
  36. Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke
    LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:307-310 [Conf]
  37. Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
    Three-Valued Abstraction for Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:311-324 [Conf]
  38. Luca de Alfaro, Pritam Roy
    Magnifying-Lens Abstraction for Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:325-338 [Conf]
  39. Arie Matsliah, Ofer Strichman
    Underapproximation for Model-Checking Based on Random Cryptographic Constructions. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:339-351 [Conf]
  40. Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic
    Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:352-365 [Conf]
  41. Domagoj Babic, Alan J. Hu
    Structural Abstraction of Software Verification Conditions. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:366-378 [Conf]
  42. Sumit Gulwani, Ashish Tiwari
    An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:379-392 [Conf]
  43. Thomas Wahl
    Adaptive Symmetry Reduction. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:393-405 [Conf]
  44. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    From Liveness to Promptness. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:406-419 [Conf]
  45. Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu
    Automated Assumption Generation for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:420-432 [Conf]
  46. Marc Segelken
    Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:433-448 [Conf]
  47. Tarik Nahhal, Thao Dang
    Test Coverage for Continuous and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:449-462 [Conf]
  48. Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
    Hybrid Systems: From Verification to Falsification. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:463-476 [Conf]
  49. Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav
    Comparison Under Abstraction for Verifying Linearizability. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:477-490 [Conf]
  50. Thomas Ball, Orna Kupferman, Mooly Sagiv
    Leaping Loops in the Presence of Abstraction. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:491-503 [Conf]
  51. Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
    Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:504-518 [Conf]
  52. Vijay Ganesh, David L. Dill
    A Decision Procedure for Bit-Vectors and Arrays. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:519-531 [Conf]
  53. Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta
    Boolean Abstraction for Temporal Logic Satisfiability. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:532-546 [Conf]
  54. Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani
    A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:547-560 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002