601 search results - page 57 / 121 » Model Checking CTL Properties of Pushdown Systems |
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
113
click to vote
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
119
click to vote
ISCIS
2004
Springer
15 years 6 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
103
click to vote
QSIC
2007
IEEE
15 years 7 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
112
click to vote
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...