Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems.
Predrag FilipovikjNesredin MahmudRaluca MarinescuCristina SeceleanuOscar LjungkrantzHenrik LönnPublished in: FM (2016)
Keyphrases
- model checker
- model checking
- industrial systems
- formal verification
- formal methods
- description language
- temporal logic
- industrial applications
- formal specification
- fault diagnosis
- test suite
- complex systems
- computational intelligence
- set theory
- specification language
- ai planning
- intelligent systems
- control algorithm
- expert systems
- decision making
- search heuristics
- control system