Abstract State Machines, Alloy, B, TLA, VDM, and Z

Abstract State Machines, Alloy, B, TLA, VDM, and Z

6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

Reichl, Klaus; Hoang, Thai Son; Butler, Michael; Raschke, Alexander

Springer International Publishing AG

05/2018

432

Mole

Inglês

9783319912707

15 a 20 dias

682

Descrição não disponível.





Invited Talks.- Translation and Transformation.- Analysis and Tests.- Reals and Hybrid Systems.-



Refinement.- Hybrid ERTMS Case Study.- Short Papers.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

Alloy;Artificial intelligence;B Method;Event-B;Formal logic;Formal methods;Formal specification;Languages;Model checking;Problem solving;Programming language;Railway control;Requirements;Semantics;Software engineering;Specifications;State-based methods;Theorem proving;Tools;Verification