03308nam 22007335 450 991034942980332120251225202210.09783319912714331991271210.1007/978-3-319-91271-4(CKB)3850000000031363(DE-He213)978-3-319-91271-4(MiAaPQ)EBC6295681(PPN)227403401(EXLCZ)99385000000003136320180507d2018 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierAbstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings /edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XIV, 432 p. 83 illus.)Theoretical Computer Science and General Issues,2512-2029 ;108179783319912707 3319912704 Includes bibliographical references and index. Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers.This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.Theoretical Computer Science and General Issues,2512-2029 ;10817Machine theoryAlgorithmsComputer scienceCompilers (Computer programs)Artificial intelligenceFormal Languages and Automata TheoryAlgorithmsComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersArtificial IntelligenceMachine theory.Algorithms.Computer science.Compilers (Computer programs).Artificial intelligence.Formal Languages and Automata Theory.Algorithms.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.Artificial Intelligence.006.31Butler Michael1967-edthttp://id.loc.gov/vocabulary/relators/edtRaschke Alexanderedthttp://id.loc.gov/vocabulary/relators/edtHoàng Thái Sơnedthttp://id.loc.gov/vocabulary/relators/edtReichl Klausedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349429803321Abstract State Machines, Alloy, B, TLA, VDM, and Z2026686UNINA