Modelling Asynchrony with a Synchronous Model R.P. KurshanM. MerrittS.R. Sachs OriginalPaper Pages: 175 - 199
Undefined Expressions and Logic in Z and B Bill StoddartSteve DunneAndy Galloway OriginalPaper Pages: 201 - 215
On-the-Fly Model Checking Under Fairness that Exploits Symmetry Viktor GyurisA. Prasad Sistla OriginalPaper Pages: 217 - 238