Found 11 Documents (Results 1–11)
SAT-based model checking. (English) Zbl 1392.68232
Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 277-303 (2018).
MSC:
68Q60
68T15
Refinement through restraint: bringing down the cost of verification. (English) Zbl 1361.68045
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 89-102 (2016).
Generating unit tests from formal proofs. (English) Zbl 1196.68046
Gurevich, Yuri (ed.) et al., Tests and proofs. First international conference, TAP 2007, Zurich, Switzerland, February 12–13, 2007. Revised papers. Berlin: Springer (ISBN 978-3-540-73769-8/pbk). Lecture Notes in Computer Science 4454, 169-188 (2007).
Deciding bit-vector arithmetic with abstraction. (English) Zbl 1186.68281
Grumberg, Orna (ed.) et al., Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71208-4/pbk). Lecture Notes in Computer Science 4424, 358-372 (2007).
MSC:
68Q60
Specification and verification challenges for sequential object-oriented programs. (English) Zbl 1121.68074
Approximating predicate images for bit-vector logic. (English) Zbl 1180.68175
Hermanns, Holger (ed.) et al., Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 – April 2, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33056-9/pbk). Lecture Notes in Computer Science 3920, 242-256 (2006).
Symbolic model checking for asynchronous Boolean programs. (English) Zbl 1151.68367
Godefroid, Patrice (ed.), Model checking software. 12th international SPIN workshop, San Francisco, CA, USA, August 22–24, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28195-9/pbk). Lecture Notes in Computer Science 3639, 75-90 (2005).
Cogent: Accurate theorem proving for program verification. (English) Zbl 1081.68673
Etessami, Kousha (ed.) et al., Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6–10, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27231-3/pbk). Lecture Notes in Computer Science 3576, 296-300 (2005).
Filter Results by …
Document Type
- Journal Articles (4)
- Collection Articles (7)
all
top 5
Author
- Kröning, Daniel (6)
- Sharygina, Natasha (3)
- Cook, Byron (2)
- Dorf, Mikhail A. (2)
- Dorr, Milo R. (2)
- Ghosh, Debojyoti (2)
- Hittinger, Jeffrey A. F. (2)
- Amani, Sidney (1)
- Biere, Armin (1)
- Brady, Bryan A. (1)
- Bryant, Randal E. (1)
- Chen, Zilin (1)
- Clarke, Edmund Melson jun. (1)
- Colella, Phillip (1)
- Engel, Christian (1)
- Hähnle, Reiner (1)
- Jain, Himanshu (1)
- Klein, Gerwin (1)
- Leavens, Gary T. (1)
- Leino, K. Rustan M. (1)
- Lim, Japheth (1)
- Müller, Peter (1)
- Murray, Toby (1)
- Nagashima, Yutaka (1)
- O’Connor, Liam (1)
- Ouaknine, Joel O. (1)
- Rizkallah, Christine (1)
- Schwartz, Peter O. (1)
- Seshia, Sanjit Arunkumar (1)
- Sewell, Thomas D. (1)
- Strichman, Ofer (1)
Serial
all
top 3
Software
- Cogent (11)
- SIMPLIFY (4)
- SatAbs (4)
- Bebop (3)
- SPIN (3)
- COGENT (2)
- Chaff (2)
- ESC/Java (2)
- Isabelle/HOL (2)
- MOCHA (2)
- MiniSat (2)
- NuSMV (2)
- ANNA (1)
- ASTREE (1)
- Bandera (1)
- Boogie (1)
- CBMC (1)
- CVC (1)
- CVT (1)
- CakeML (1)
- CalcCheck (1)
- Chombo (1)
- ComFoRT (1)
- DDVerify (1)
- Daikon (1)
- Eiffel (1)
- FOCI (1)
- Haskell (1)
- Houdini (1)
- IOzone (1)
- JML (1)
- JUnit (1)
- Java PathFinder (1)
- KRAKATOA (1)
- Korat (1)
- LARCH (1)
- LLVM (1)
- Mathematica (1)
- Omnibus (1)
- Pilsner (1)
- Princess (1)
- Quaffle (1)
- Rust (1)
- SCOOT (1)
- SLAM (1)
- SOLPS-ITER (1)
- SPARK (1)
- Spec# (1)
- Symstra (1)
- TestEra (1)
- UCLID (1)
- UniTESK (1)
- Velev SAT Benchmarks (1)
- Yices (1)
- Z (1)
- Zapato (1)
- Zing (1)
- bv2epr (1)
- go (1)
- gs2 (1)
- seL4 (1)
- zChaff (1)