10870 search results - page 131 / 2174 » Model Checking Programs |
140
click to vote
AGTIVE
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
119
click to vote
ECOOP
2003
Springer
15 years 6 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...
108
click to vote
ICALP
2001
Springer
15 years 6 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 ...
119
click to vote
UML
2001
Springer
15 years 6 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 ...
110
click to vote
ECOOP
2000
Springer
15 years 6 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...