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:
WADT (2020)
Keyphrases
</>
state machines
state machine
sequence diagrams
petri net
formal methods
object oriented
neural network
data structure
artificial neural networks
mobile agents