2873 search results - page 210 / 575 » Model Checking and the Mu-calculus |
129
click to vote
ENTCS
2010
15 years 4 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
142
click to vote
ENTCS
2006
15 years 4 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
136
click to vote
IJDE
2007
15 years 4 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
128
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
116
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...