The notion of proof in hardware verification
Journal of Automated Reasoning
Experience with Formal Methods in Critical Systems
IEEE Software
Formal Development and Verification of a Distributed Railway Control System
IEEE Transactions on Software Engineering
Incremental Development of a High Integrity Compiler: Experience from an Industrial Development
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
Model Checking Operator Procedures
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Analyzing Mode Confusion via Model Checking
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Safety in Railway Signalling Data: A Behavioural Analysis
HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
Breaking Through the V and V Bottleneck
Proceedings of the Second International Eurospace - Ada-Europe Symposium on Ada in Europe
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Hi-index | 0.00 |
Based on a study by Adelard (UK) commissioned by the German Bundesamt fuer Sicherheit in der Informationstechnik this paper identifies crucial factors leading to the success or failure of the application of formal methods and provides ideas of improved technology adoption perspectives by analysing the formal methods market.