Login / Signup
Unified LTL Verification and Embedded Execution of UML Models.
Valentin Besnard
Matthias Brun
Frédéric Jouault
Ciprian Teodorov
Philippe Dhaussy
Published in:
MoDELS (2018)
Keyphrases
</>
uml models
model checking
bounded model checking
linear time temporal logic
object oriented
temporal logic
formal verification
linear temporal logic
sequence diagrams
formal specification
data sets
symbolic execution
concurrent systems
test cases
visual features
image data
data model