Synonyms were used for:
Model
•
Model Checking
Search without synonyms:
keywords:(Model Checking)
Applying model checking to an automotive microcontroller application
Model checking large software specifications
Generating MC/DC adequate test sequences through model checking
Validating requirements for fault tolerant systems using model checking
Coverage-directed test generation with model checkers: challenges and opportunities
Sicherheitsanalysen von Fail-Operational-Systemen für einen Nachweis nach ISO 26262
Safety and Certification in Increasingly Autonomous Aviation Systems
Safety and Certification in Increasingly Autonomous Aviation Systems
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios
Formal modeling and verification of real-time concurrent systems
Controlling Signalized Intersections using Machine Learning