Formal Verification of Cyberphysical Systems.

James Bret Michael Doron Drusinsky Duminda Wijesekera

Published in: Computer (2021)

Keyphrases

formal verification
automated verification
management system
distributed systems
intelligent systems
learning systems
real time
artificial intelligence
model checking