9067 search results - page 847 / 1814 » Adaptive Model Checking |
190
click to vote
PASTE
2004
ACM
16 years 1 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
198
click to vote
FSTTCS
2004
Springer
16 years 1 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
167
click to vote
TACAS
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
211
click to vote
LICS
2003
IEEE
16 years 1 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
205
click to vote
ECOOP
2003
Springer
16 years 28 days ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...