565 search results - page 29 / 113 » A (De)constructive Approach to Program Checking |
ENTCS
2007
13 years 8 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
FORTE
2004
13 years 10 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
PDPTA
2003
13 years 10 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...