601 search results - page 63 / 121 » Model Checking CTL Properties of Pushdown Systems |
114
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
117
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
108
Voted
ASE
2008
15 years 1 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
132
click to vote
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
129
click to vote
ACSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...