Process algebraic verification of SystemC codes.

Hossein Hojjat Mohammad Reza Mousavi Marjan Sirjani

Published in: ACSD (2008)

Keyphrases

model checking
higher order
process model
database
databases
genetic algorithm
artificial intelligence
metadata
case study
mobile robot
development process