The Semantics of Statecharts in HOL.

Nancy A. Day Jeffrey J. Joyce

Published in: HUG (1993)

Keyphrases

formal methods
formal semantics
higher order logic
logical framework
data sets
semantic information
logic programming
theorem prover
model checker
neural network
database systems
theorem proving
specification language