How to select the suitable formal method for an industrial application: a survey
F Kossak, A Mashkoor - … conference on abstract state machines, alloy, b …, 2016 - Springer
The share of formal methods is still marginal in contemporary systems and software
engineering. One of the reasons is the absence of systematic guidelines and evaluation …
engineering. One of the reasons is the absence of systematic guidelines and evaluation …
Model-driven re-engineering of a pressure sensing system: An experience report
This article presents our experience in re-engineering a pressure sensing system–a
subsystem often found in safety-critical medical devices–using the B formal method. We …
subsystem often found in safety-critical medical devices–using the B formal method. We …
[引用][C] How to Evaluate the Suitability of a Formal Method for Industrial Deployment? A Survey Technical Report SCCH-TR-1603
F Kossak, A Mashkoor - 2016