Login / Signup
Auxiliary state machines + context-triggered properties in verification.
Ansuman Banerjee
Pallab Dasgupta
P. P. Chakrabarti
Published in:
ACM Trans. Design Autom. Electr. Syst. (2008)
Keyphrases
</>
state machines
state machine
social networks
petri net
recurrent networks
database
case study
high level
object oriented