505 search results - page 16 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
101
click to vote
POPL
1990
ACM
15 years 3 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
CAISE
2008
Springer
15 years 1 months ago
2008
Springer
The definition of Information System do not consider individual as a component of the Information System. In this paper we present our postulates, and our definition of Knowledge M...
107
click to vote
TSE
2010
14 years 6 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
126
click to vote
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
CODES
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...