169
click to vote
FORTE
15 years 4 months ago
1994 
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
124
click to vote
FORTE
15 years 4 months ago
1994 
We discuss four issues concerning the semantics of Message Flow Graphs (MFGs). MFGs are extensively used as pictures of message-passing behavior. One type of MFG, Message Sequence...
121
Voted
FORTE
15 years 4 months ago
1994 
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
|
Formal Methods