601 search results - page 64 / 121 » Model Checking CTL Properties of Pushdown Systems |
135
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
107
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
107
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
105
click to vote
DLOG
2010
14 years 11 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
116
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...