1023 search results - page 23 / 205 » Model Checking: Software and Beyond |
110
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
116
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
102
click to vote
ISSTA
2006
ACM
15 years 7 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...
EWSA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...