20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022

Published in: MEMOCODE (2022)

Keyphrases

formal methods
probabilistic model
design process
case study
reactive systems
artificial intelligence
formal specification
temporal properties
provably correct
user interface
software engineering
knowledge based systems
short term
life cycle
hong kong
safety critical