2291 search results - page 40 / 459 » Logic Programming and Model Checking |
112
Voted
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
115
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
POPL
1992
ACM
15 years 6 months ago
1992
ACM
124
click to vote
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
116
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...