2407 search results - page 249 / 482 » A Tool for Abstraction in Model Checking |
183
click to vote
PASTE
2004
ACM
16 years 19 days 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
ECOOP
2003
Springer
16 years 13 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...
207
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
160
click to vote
TACAS
2004
Springer
16 years 17 days 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...
184
click to vote
CIA
2003
Springer
16 years 13 days ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...