2 papers
cs.LO2022
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…
cs.LO2022
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…