|
1059
|
The entity-relationship model: Toward a unified view of data
– Chen
- 1976
|
|
723
|
Symbolic Boolean manipulation with ordered binary-decision diagrams
– Bryant
- 1992
|
|
592
|
Systematic Software Development Using VDM
– Jones
- 1990
|
|
549
|
Model Checking and Abstraction
– Clarke, Grumberg, et al.
|
|
199
|
Abstract interpretation of reactive systems
– Dams, Gerth, et al.
- 1997
|
|
147
|
Better Verification Through Symmetry
– Ip, Dill
- 1993
|
|
124
|
Exploiting symmetry in temporal logic model checking
– Clarke, Enders, et al.
- 1996
|
|
94
|
The Unified Modeling Language for ObjectOriented Development
– Booch, Jacobson, et al.
|
|
86
|
Software Requirements & Specifications
– JACKSON
- 1995
|
|
65
|
Elements of style: Analyzing a software design feature with a counterexample detector
– Jackson, Damon
- 1996
|
|
54
|
Property preserving simulations
– Bensalem, Bouajjani, et al.
- 1992
|
|
44
|
The Way of Z: Practical programming with formal methods
– Jacky
- 1997
|
|
25
|
A theoretical analysis of reasoning by symmetry in first-order logic
– Crawford
- 1992
|
|
25
|
An Executable Subset of Meta-IV with Loose Specification
– Larsen, Lassen
- 1991
|
|
14
|
Abstract model checking of infinite specifications
– Jackson
- 1994
|
|
13
|
Theoretical study of symmetries in propositional calculus and applications
– Benhamou, Sais
- 1992
|
|
13
|
Nitpick: A checkable specification language
– Jackson
- 1996
|
|
12
|
Symmetry and Induction in Model Checking
– Jha
- 1996
|
|
10
|
Checking relational specifications with binary decision diagrams
– Damon, Jackson, et al.
- 1996
|
|
9
|
Tarski's development of logic and mathematics based on the calculus of relations, Algebraic Logic (Budapest
– Givant
- 1988
|
|
9
|
Faster checking of software specifications by eliminating isomorphs
– Jackson, Jha, et al.
- 1996
|
|
6
|
Computer-aided manipulation of relational expressions and formulae using RALF
– Berghammer, Hattensperger
- 1994
|
|
6
|
Efficient search as a means of executing specifications
– Damon, Jackson
- 1996
|
|
5
|
Nitpick: A checker for software specifications (reference manual
– Jackson, Damon
- 1996
|
|
5
|
Computer-aided investigations of relation algebras
– Jipsen
- 1992
|
|
2
|
User Workshop
– Z, HOL
- 1994
|
|
2
|
Computer-aided transformation of Z into Prolog
– DICK, KRAUSE, et al.
- 1990
|
|
2
|
Ulrik Skakkebaek. Applying PVS to Z
– Engel, Jens
|
|
