A Specification and Validation Technique Based on STATEMATE and FNLOG.
Olfa MosbahiLeila Jemni Ben AyedSamir Ben AhmedJacques JarayPublished in: ICFEM (2002)
Keyphrases
- user defined
- high level
- provably correct
- formal methods
- conceptual model
- formal specification
- tool suite
- data sets
- state machine
- operational semantics
- formal verification
- specification language
- evolutionary algorithm
- information technology
- data structure
- three dimensional
- information systems
- real world
- neural network