Computer Aided Verification

Known as: CAV 
Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint… (More)
  • figure 9
  • figure 10
  • table 4
  • table 5
  • table 6
Is this relevant?
2013
2013
ion Based Model-Checking of Stability of Hybrid Systems . . . . . 280 Pavithra Prabhakar and Miriam Garcia Soto System Level… (More)
  • figure 8
  • figure 10
  • table 4
  • table 5.1
  • figure 8
Is this relevant?
2012
2012
ion The Gauge Domain: Scalable Analysis of Linear Inequality Invariants . . . 139 Arnaud J. Venet Diagnosing Abstraction Failure… (More)
  • figure 9
  • figure 10
  • figure 9
  • figure 10
  • figure 11
Is this relevant?
2012
2012
Partial order reduction is a state space pruning approach that has been originally introduced in computer aided verification… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
  • R. Peled
  • Lecture Notes in Computer Science
  • 2004
ion-Based Satisfiability Solving of Presburger Arithmetic . . . . . . . 308 Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, and… (More)
  • figure 6
  • table 3
  • figure 7
  • figure 9
  • figure 10
Is this relevant?
2003
2003
ion I Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates… (More)
  • figure 7
  • table 3
  • figure 7
Is this relevant?
Highly Cited
2003
Highly Cited
2003
ion of C programs. In PLDI 01: Programming Language Design and Implementation, pages 203–213. ACM, 2001. 2. S. Das, D. L. Dill… (More)
Is this relevant?
2000
2000
versions of the same protocol without bus collisions, reported previously in the com­ munity of real time verification. We have… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.5
  • figure 2.6
Is this relevant?
1993
1993
In this paper we introduce an approach to computer-aided verification of software process model properties. This approach uses a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1992
1992
ion/Refinement and Model Checking Liveness with (0, 1,∞)-Counter Abstraction… (More)
  • figure 8
  • figure 8
  • table 3
  • table 4
  • table 3
Is this relevant?