Login / Signup
Supporting automated containment checking of software behavioural models using model transformations and model checking.
Faiz Ul Muram
Huy Tran
Uwe Zdun
Published in:
Sci. Comput. Program. (2019)
Keyphrases
</>
model checking
finite state machines
verification method
reactive systems
temporal logic
temporal properties
process model
process algebra
metamodel
distributed systems
formal specification
finite state
formal methods
formal verification
model checker
concurrent systems