Title ABZ 2014 : the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings / Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe (eds.)

Published Cham : Springer, 2014

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource (xii, 161 pages) : illustrations Series Communications in Computer and Information Science, 1865-0929 ; 433 Communications in computer and information science ; 433. 1865-0929 Contents Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation Summary This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed May 20, 2014) Subject Machine theory -- Congresses Formal methods (Computer science) -- Congresses Landing gear -- Computer simulation -- Congresses B method (Computer science) -- Congresses Z (Computer program language) -- Congresses B method (Computer science) Formal methods (Computer science) Machine theory Z (Computer program language) Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Boniol, Frederic, editor Wiels, Virginie, editor Aït-Ameur, Yamine, editor Schewe, Klaus-Dieter, editor ISBN 9783319075129 3319075128

Other Titles Landing gear case study

  Permalink