Towards Denotational Semantics for Verilog in PVS.

Han Zhu Huibiao Zhu Si Liu Jian Guo

Published in: SSIRI (Companion) (2011)

Keyphrases

denotational semantics
programming language
formal verification
theorem proving
timed automata
operational semantics
query language
xml schema
abstract data types
model checking
hardware designs
data types
data structure
inference rules
multi dimensional
data model
multi agent
databases