5015 search results - page 23 / 1003 » Model Checking a Path |
100
Voted
EUROGP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
83
Voted
JUCS
2007
15 years 21 days ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
106
Voted
IEEEPACT
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe the design, generation and compression of the extended whole program path (eWPP) representation that not only captures the control flow history of a program execution...
85
Voted
CAAN
2004
Springer
15 years 6 months ago
2004
Springer
166
Voted
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...