Sciweavers

60
Voted
APSEC
2001
IEEE
15 years 15 days ago
Model Checking Object-Z Classes: Some Experiments with FDR
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
Geoff Kassel, Graeme Smith