UML Automatic Verification Tool with Formal Methods.
Maria Encarnación Beato GutiérrezManuel Barrio-SolórzanoCarlos Enrique Cuesta QuinteroPablo de la FuentePublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- formal methods
- formal specification language
- model checking
- provably correct
- formal analysis
- artificial intelligence
- software engineering
- knowledge based systems
- formal specification
- safety critical
- modeling language
- software tools
- object oriented
- temporal properties
- high level
- information systems
- software systems
- knowledge acquisition
- security properties
- process algebra
- unified modeling language