Formal verification of space systems designed with TASTE.

Iulia Dragomir Marius Bozga Iulian Ober D. Silveira T. Jorge E. Alaña M. Perrotin

Published in: CoRR (2021)

Keyphrases

formal verification
management system
model checking
building blocks
computer systems
learning systems
automated verification
neural network
expert systems
complex systems
search space
intelligent systems
formal methods
model checker
symbolic model checking
bounded model checking