03273nam 22007095 450 99646582530331620230222233618.03-319-91271-210.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[electronic resource] 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 ;108173-319-91270-4 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/edtHoang Thai Sonedthttp://id.loc.gov/vocabulary/relators/edtReichl Klausedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465825303316Abstract State Machines, Alloy, B, TLA, VDM, and Z2026686UNISA