6608 search results - page 53 / 1322 » On the Completeness of Model Checking |
TCS
2008
15 years 20 days ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
102
Voted
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...
113
click to vote
DLOG
2006
15 years 2 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
72
Voted
WWW
2001
ACM
16 years 1 months ago
2001
ACM
We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.
102
Voted
QUESTA
1998
15 years 13 days ago
1998
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...