Automatic Verification of Behavior of UML Requirements Specifications using Model Checking.

Saeko Matsuura Sae Ikeda Kasumi Yokotae

Published in: MODELSWARD (2020)

Keyphrases

model checking
model checker
formal specification
automated verification
formal methods
transition systems
bounded model checking
formal verification
temporal logic
specification language

reactive systems
class diagram
finite state machines
concurrent systems
temporal properties
finite state
verification method
symbolic model checking
asynchronous circuits
process algebra

software engineering
reachability analysis
epistemic logic
pspace complete
computation tree logic
uml models
partial order reduction
alternating time temporal logic
object oriented
automated reasoning

timed automata
linear temporal logic
distributed systems
set theory
reverse engineering
modal logic
software systems
modeling language
planning domains
description language