3082 search results - page 27 / 617 » Deviation Analysis: A New Use of Model Checking |
166
Voted
ICSE
1999
IEEE-ACM
15 years 9 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
156
click to vote
FORTE
2010
15 years 6 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
173
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
182
Voted
FM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
164
click to vote
CISC
2009
Springer
15 years 3 months ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...