The following pages link to Lazy abstraction (Q5178898):
Displaying 27 items.
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- Finding and fixing faults (Q414907) (← links)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Component-wise incremental LTL model checking (Q510894) (← links)
- SMT-based model checking for recursive programs (Q518396) (← links)
- A new representation and associated algorithms for generalized planning (Q543617) (← links)
- A lazy approach to symmetry reduction (Q613132) (← links)
- An efficient approach for abstraction-refinement in model checking (Q690465) (← links)
- Under-approximating loops in C programs for fast counterexample detection (Q746774) (← links)
- Refining abstract interpretations (Q765513) (← links)
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
- Closure properties and complexity of rational sets of regular languages (Q888431) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Verification of evolving software via component substitutability analysis (Q934712) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- Reducing concurrent analysis under a context bound to sequential analysis (Q1039852) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- A unifying view on SMT-based software verification (Q1703012) (← links)
- Falsifying Safety Properties Through Games on Over-approximating Models (Q4982087) (← links)
- Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach (Q5170180) (← links)
- Verifying Multithreaded Recursive Programs with Integer Variables (Q5179057) (← links)
- Predicate Abstraction in Program Verification: Survey and Current Trends (Q5240105) (← links)
- Verification Modulo theories (Q6056642) (← links)
