Login / Signup
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS.
Tobias Rosenberger
Saddek Bensalem
Alexander Knapp
Markus Roggenbach
Published in:
CoRR (2020)
Keyphrases
</>
state machines
state machine
sequence diagrams
formal methods
petri net
software engineering
modeling language
case study
data structure
knowledge representation
distributed systems
fault tolerant
finite state machines