The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System.

Teck Ping Khoo Jun Sun

Published in: ICFEM (2018)

Keyphrases

formal methods
modeling language
formal specification
formal analysis
artificial intelligence
safety critical
reactive systems
knowledge based systems
process algebra
grand challenge
model checking
open source
software engineering
case study
databases
user interface
database systems
information systems
data mining