204
click to vote
FM
16 years 11 days 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...
178
click to vote
FM
16 years 11 days 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...
207
click to vote
FM
16 years 11 days 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...
184
click to vote
FM
16 years 11 days 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 ...
|
Formal Methods