Robotics and Integrated Formal Methods: Necessity Meets Opportunity.

Marie Farrell Matt Luckcuck Michael Fisher

Published in: IFM (2018)

Keyphrases

formal methods
artificial intelligence
formal analysis
knowledge based systems
model checking

formal specification
safety critical
software engineering
model checker
computer vision

process algebra
temporal properties
provably correct
source code
high level

case study
security properties
reactive systems
machine learning