1895 search results - page 259 / 379 » Using ATL for Checking Models |
118
click to vote
TACAS
2004
Springer
15 years 10 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...
149
click to vote
ECOOP
2003
Springer
15 years 10 months 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...
154
click to vote
MOMM
2009
ACM
15 years 9 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
138
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
139
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...