Integrating Specification and Programs for System Modeling and Verification.

Jun Sun Yang Liu Jin Song Dong Chunqing Chen

Published in: TASE (2009)

Keyphrases

colored petri nets
petri net
information retrieval
asynchronous circuits
formal verification
formal methods
formal specification
model checking
probabilistic model
high level
hardware designs
software engineering
decision trees
learning algorithm
genetic algorithm
control program
databases
protocol specification