Reasoning about Metamodeling with Formal Specifications and Automatic Proofs.

Ethan K. Jackson Tihamer Levendovszky Daniel Balasubramanian

Published in: MoDELS (2011)

Keyphrases

formal specification
object oriented design
specification languages
model checking
reverse engineering
artificial intelligence
specification language
concurrent systems
multi agent systems
temporal logic
software components
theorem prover
theorem proving
design methodology