Login / Signup
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems.
Roopak Sinha
Sandeep Patil
Luís Gomes
Valeriy Vyatkin
Published in:
IEEE Trans. Ind. Informatics (2019)
Keyphrases
</>
formal methods
safety critical
model checking
artificial intelligence
model checker
software engineering
formal specification
formal analysis
knowledge based systems
provably correct
process algebra
industrial applications
security properties
reactive systems
development lifecycle
high level
machine learning