Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties.

Shirley Goldrei Anthony M. Sloane

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

Keyphrases

formal methods
temporal properties
formal analysis
safety critical
formal specification
provably correct
artificial intelligence
model checker
knowledge based systems
model checking
natural language
attribute values
open source
databases
process algebra
security properties
object oriented