Integrating Simulink Models into the Model Checker Cosmos.

Benoît Barbot Béatrice Bérard Yann Duplouy Serge Haddad

Published in: Petri Nets (2018)

Keyphrases

model checker
formal verification
artificial intelligence
model checking
formal methods
expert systems
programming language