12 citations · 25 across the 8 of their papers we have counts for
3 papers · 1 filter
Trace Refinement in B and Event-B
Sebastian Stock, Atif Mashkoor, Michael Leuschel +1
Traces are used to show whether a model complies with the intended behavior. A modeler can use trace checking to ensure the preservation of the model behavior during the refinement…
Application of Validation Obligations to Security Concerns
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Our lives become increasingly dependent on safety- and security-critical systems, so formal techniques are advocated for engineering such systems. One of such techniques is validat…
Formalization of Advanced VOs semantics and VO Refinement
Sebastian Stock, Fabian Vu, David Geleßus +3
This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.