Experiences with analysis of formal specifications in Astral.

K. Brink Jan van Katwijk R. F. Lutje Spelberg W. J. Toetenel

Published in: RTCSA (1997)

Keyphrases

formal specification
data analysis
general purpose
real world
case study
cooperative
fine grained
model checking
reverse engineering
specification language