PVS Strategies for Proving Abstraction Properties of Automata.

Sayan Mitra Myla Archer

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

timed automata
desirable properties
cellular automata
structural properties
databases
database
high level
object oriented
formal verification