Formal Analysis of SystemC Designs in Process Algebra.

Hossein Hojjat Mohammad Reza Mousavi Marjan Sirjani

Published in: Fundam. Informaticae (2011)

Keyphrases

formal analysis
process algebra
formal methods
formal specification
model checking
concurrent programs
asynchronous circuits
artificial intelligence
concurrent systems
software engineering
knowledge based systems
grid workflow
web services composition
ban logic
knowledge base
temporal logic
real time