What Have Formal Methods Ever Done for Us? An Audience Discussion.

Troy Kaighin Astarte

Published in: FM Workshops (2) (2019)

Keyphrases

formal methods
formal analysis
formal specification
safety critical
knowledge based systems
process algebra
model checking
artificial intelligence
subject matter
model checker
provably correct
software engineering
temporal properties
modeling language
development lifecycle
object oriented
natural language
databases