3387 search results - page 361 / 678 » Model-Checking for Real-Time Systems |
210
click to vote
LPAR
2005
Springer
16 years 28 days ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
179
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
207
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
145
Voted
RTCSA
2009
IEEE
16 years 2 months ago
2009
IEEE