Sciweavers

FORTE
1994
13 years 7 months ago
An improvement in formal verification
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...
Gerard J. Holzmann, Doron Peled
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
13 years 10 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
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...
Fritz Henglein
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
13 years 10 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
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...
David Garlan
FM
1994
Springer
135views Formal Methods» more  FM 1994»
13 years 10 months ago
Adding Real Time to Formal Program Development
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
Colin J. Fidge
Formal Methods
Top of PageReset Settings