Titlebook: Rigorous State-Based Methods; 8th International Co Alexander Raschke,Dominique Méry Conference proceedings 2021 Springer Nature Switzerland

cardiac-arrest

Event-B Formalization of Event-B Contextsevelopment through sets, constants, axioms and theorems. We study the proposal of a new mechanism for Event-B. It consists in allowing to instantiate in a new context an already proved theorem in a given context. We investigate the validation of the instantiation mechanism in order to prove the vali

压倒性胜利

Gratuitous

Sterling: A Web-Based Visualizer for Relational Modeling Languagestions using modern JavaScript libraries like D3 and Cytoscape. We outline its design goals and architecture, and describe custom visualizations developed with Sterling that enable verification studies of scientific software used in production. While development is driven primarily by the Alloy commu

DEFT

配偶

Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflectionh, where an idle processor can autonomously grab a thread from a partially ordered pool of open threads and execute it. It is further outlined that this can be generalised for the refinement of an unboundedly parallel ASM by a concurrent, reflective BSP-ASM, i.e. the individual agents are associated

Semblance

悲观

过于光泽

Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-BA part of ERTMS is the European Train Control System (ETCS). ETCS is an automatic train protection system and can collaborate with an automatic train operation system (ATO). ATO can control and monitor the braking, traction and door system of a train. This collaboration is called ATO over ETCS. In t

不整齐

心痛