Using formal methods to enable more secure vehicles: DARPA's HACMS program.
Kathleen FisherPublished in: ICFP (2014)
Keyphrases
- formal methods
- advanced research projects agency
- security properties
- formal analysis
- formal specification
- knowledge based systems
- model checking
- safety critical
- artificial intelligence
- model checker
- intrusion detection
- provably correct
- process algebra
- software engineering
- databases
- black box
- traffic flow
- database
- object oriented
- programming environment
- standard model