FORTE
13 years 7 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...
ZUM
13 years 10 months ago
1994 Springer 
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
SAS
13 years 10 months ago
1994 Springer 
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
IMPERIAL
13 years 10 months ago
1994 FTRTFT
13 years 10 months ago
1994 Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
|
Formal Methods