Preface to the Topic of Formal Methods and Their Applications.

Cong Tian Yuxin Deng Yu Jiang

Published in: Int. J. Softw. Informatics (2021)

Keyphrases

formal methods
artificial intelligence
formal analysis
model checking
safety critical
formal specification
model checker
process algebra
knowledge based systems
topic models
temporal properties
provably correct
software engineering
international workshop
security properties