12981 search results - page 291 / 2597 » Model Checking and Abstraction |
157
Voted
CEC
2011
IEEE
14 years 6 months ago
2011
IEEE
187
click to vote
ICLP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
157
click to vote
ISSTA
2006
ACM
16 years 20 days 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...