Driver Identification Through Formal Methods.

Fabio Martinelli Francesco Mercaldo Vittoria Nardone Antonella Santone

Published in: IEEE Trans. Intell. Transp. Syst. (2022)

Keyphrases

formal methods
formal analysis
artificial intelligence
software engineering
formal specification
knowledge based systems
model checking
safety critical
model checker
provably correct
process algebra
temporal properties
database
security properties
distributed systems
reactive systems