C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal methods: practical applications and foundations.
Maurice H. ter Beek
Annabelle McIver
Published in:
Formal Methods Syst. Des. (2021)
Keyphrases
</>
formal methods
artificial intelligence
formal analysis
model checking
formal specification
safety critical
provably correct
process algebra
knowledge based systems
software engineering
model checker
security properties
database
development lifecycle
formal specification language
query language
source code