Login / Signup
System level specification and verification using Concurrent State Machines and COSMA environment.
Wiktor B. Daszczuk
Jerzy Miescicki
Michal Nowacki
Jacek Wytrebowicz
Published in:
CoRR (2017)
Keyphrases
</>
state machines
state machine
reactive systems
petri net
formal methods
formal verification
fault tolerant
asynchronous circuits
real time
artificial intelligence
model checking
sequence diagrams
temporal logic