Specification and Verification of NormativeTexts Using C-O Diagrams.
Gregorio DíazMaría-Emilia CambroneroEnrique MartínezGerardo SchneiderPublished in: IEEE Trans. Software Eng. (2014)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- uml diagrams
- formal specification
- genetic algorithm
- high level
- conceptual model
- concurrent systems
- specification language
- sequence diagrams
- artificial intelligence
- graphical representation
- software design
- graphical representations
- reactive systems
- high security
- data mining