Synonyms were used for:
Program Verification
Search without synonyms:
keywords:(Program Verification)
Requirements of an integrated formal method for intelligent swarms
Die Zertifizierung von ASCET nach der IEC 6 15 08
Requirements specification for process-control systems
Model-based independent verification and validation for dependable flight software
Landing system verification based on Petri nets and a hybrid approach
Echo: a practical approach to formal verification
Application of genetic algorithm for flight system verification and validation
Instantiating generic charts for Railway Interlocking Systems
An extendable architecture for model checking hardware-specific automotive microcontroller code
Generating MC/DC adequate test sequences through model checking
Daten aus dem Paralleluniversum. Sicherheitskritischen Software entwickeln
An automatic SPIN validation of a safety critical railway control system
Software disign and verifications system (SDVS). Interim rept. 16 Jun 74 - 30 Jun 75
Coverage-directed test generation with model checkers: challenges and opportunities