Using VDMTools to Model and Validate the Cash Dispenser Example Peter Gorm LarsenPaul MukherjeeKim Sunesen Original Paper Pages: 216 - 217
The ‘Cash-Point’ Service: A Verification Case Study Using STeP Anca BrowneBernd FinkbeinerHenny Sipma Original Paper Pages: 218 - 219
Modelling and Verifying of a ‘Cash-Point Service’ Using MOBY/PLC Henning DierksJosef Tapken Original Paper Pages: 220 - 221
A Multi-formalism Approach for the Validation of UML Models Sophie DupuyLydie du Bousquet Original Paper Pages: 228 - 230
Specifying Cash-Point with DisCo Timo AaltonenPertti KellomäkiRisto Pitkänen Original Paper Pages: 231 - 232
Design of an Automatic Teller Machine with Esterel Studio Sylvan DissoubrayBernard Dion Original Paper Pages: 233 - 236
Demonstrating the Cognitive Plausibility of Interactive System Specifications Richard ButterworthAnn BlandfordDavid Duke Original Paper Pages: 237 - 259
Representational Reasoning and Verification Gavin J. DohertyJosé C. CamposMichael D. Harrison Original Paper Pages: 260 - 277
Algebraic Models of Correctness for Microprocessors A. C. J. FoxN. A. Harman Original Paper Pages: 298 - 312