Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants
Authors:
- 2 October 2019
- book chapter
- Published by Springer Nature
- p. 323-346
Abstract
No abstract availableKeywords
This publication has 42 references indexed in Scilit:
- ICE-Based Refinement Type Discovery for Higher-Order Functional Programs2018
- Barrier invariantsACM SIGPLAN Notices, 2013
- GPUVerifyACM SIGPLAN Notices, 2012
- A decade of software model checking with SLAMCommunications of the ACM, 2011
- CVC42011
- SAT-Based Model Checking without Unrolling2011
- VCC: A Practical System for Verifying Concurrent C2009
- Boogie: A Modular Reusable Verifier for Object-Oriented Programs2006
- Automatic predicate abstraction of C programsACM SIGPLAN Notices, 2001
- A Greedy Heuristic for the Set-Covering ProblemMathematics of Operations Research, 1979