383 search results - page 6 / 77 » Testing Concurrent Systems: A Formal Approach |
TAP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
ICCD
2002
IEEE
14 years 1 months ago
2002
IEEE
Concurrent detection of failures in analog circuits is becoming increasingly more important as safety-critical systems become more widespread. A methodology for the automatic desi...
AIIA
1995
Springer
14 years 3 days ago
1995
Springer
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
IOLTS
2002
IEEE
14 years 1 months ago
2002
IEEE
The reusing of the same hardware resources to implement speed-critical algorithms, without interrupting system operation, is one of the main reasons for the increasing use of reco...
MEMOCODE
2010
IEEE
13 years 6 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...