Checking temporal properties in SystemC specifications.

Axel G. Braun Joachim Gerlach Wolfgang Rosenstiel

Published in: HLDVT (2002)

Keyphrases

temporal properties
model checking
formal specification
possibility theory
formal methods
neural network
machine learning
artificial intelligence
high level
cooperative
software engineering
software systems