159
Voted
FM
2001
Springer
16 years 10 hour ago
2001
Springer
159
Voted
FM
2001
Springer
16 years 10 hour ago
2001
Springer
173
Voted
FM
2001
Springer
16 years 10 hour ago
2001
Springer
166
click to vote
FM
2001
Springer
16 years 10 hour ago
2001
Springer
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
174
Voted
FM
2001
Springer
16 years 10 hour ago
2001
Springer
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
175
click to vote
FM
2001
Springer
16 years 10 hour ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
202
Voted
FM
2001
Springer
16 years 10 hour ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
171
Voted
FM
2001
Springer
16 years 10 hour ago
2001
Springer
We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation de ned on symbolic transition sys...
159
Voted
FM
2001
Springer
16 years 10 hour ago
2001
Springer
203
Voted
FM
2001
Springer
16 years 10 hour ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...