862 search results - page 107 / 173 » Model Checking Interrupt-Dependent Software |
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
111
click to vote
PLDI
2004
ACM
15 years 5 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
B
2007
Springer
15 years 6 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
139
click to vote
ICSE
2009
IEEE-ACM
16 years 20 days ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...