A Verification Method of Software Safety Model Based on Model Checker
JOURNAL- XIAN JIAOTONG UNIVERSITY ; 45 , 2 ; 15-20
01.01.2011
6 pages
Aufsatz (Zeitschrift)
Unbekannt
DDC: | 500 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Qualification of a Model Checker for Avionics Software Verification
British Library Conference Proceedings | 2017
|A Model-Based Approach to Verification of Spacecraft Software Using the SPIN Model Checker
British Library Conference Proceedings | 2009
|Software Library Usage Pattern Extraction Using a Software Model Checker
British Library Online Contents | 2009
|