Generation of Reduced Models for Checking Fragments of CTL.

Dennis Dams Orna Grumberg Rob Gerth

Published in: CAV (1993)

Keyphrases

accurate models
data sets
social networks
probabilistic model
temporal logic
neural network
three dimensional
database systems
d objects
complex systems
process model
model checking
statistical models
autoregressive