334 search results - page 15 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
DAGSTUHL
2006
13 years 11 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
ITC
1991
IEEE
14 years 1 months ago
1991
IEEE
Two approaches have been used to balance the cost of generating e ective tests for ICs and the need to increase the ICs' quality level. The rst approach favorsusing high-leve...
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— In this paper we present a multi-agent coordination algorithm suitable for systems with aircraft-like kinematic constraints. A model of a system of input-constrained no...
ASPDAC
2004
ACM
14 years 2 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
PTS
1993
13 years 11 months ago
1993
In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several t...