Checking of Timing Constraint Violation Based on Graph in Reactive Systems.

Hiromi Kobayashi

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2002)

Keyphrases

reactive systems
temporal logic
graph structure
information flow
graph representation
random walk
model checking
graph theory
constraint violations
directed graph
petri net
machine learning
relational databases
control flow