Repair of Boolean Programs with an Application to C
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 358-371
- https://doi.org/10.1007/11817963_33
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Thorough static analysis of device driversPublished by Association for Computing Machinery (ACM) ,2006
- Explaining abstract counterexamplesPublished by Association for Computing Machinery (ACM) ,2004
- Automatic detection and repair of errors in data structuresPublished by Association for Computing Machinery (ACM) ,2003
- Modular Strategies for Recursive Game GraphsLecture Notes in Computer Science, 2003
- From symptom to causePublished by Association for Computing Machinery (ACM) ,2003
- Bebop: A Symbolic Model Checker for Boolean ProgramsLecture Notes in Computer Science, 2000
- Efficient Algorithms for Model Checking Pushdown SystemsLecture Notes in Computer Science, 2000
- Reactive ModulesFormal Methods in System Design, 1999
- Reachability analysis of pushdown automata: Application to model-checkingLecture Notes in Computer Science, 1997
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992