790 search results - page 37 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
128
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
123
click to vote
SIGSOFT
1996
ACM
15 years 6 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
138
click to vote
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
117
click to vote
ENTCS
2007
15 years 1 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
131
click to vote
FUIN
2002
15 years 1 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...