A formal approach for specification-driven AMS behavioral model generation.
Subhankar MukherjeeAntara AinSubrat Kumar PandaRajdeep MukhopadhyayPallab DasguptaPublished in: DATE (2009)
Keyphrases
- formal specification
- formal methods
- specification languages
- reactive systems
- formal language
- requirements specification
- operational semantics
- high level
- specification language
- data driven
- model checking
- formal languages
- formal model
- formal models
- behavioral model
- temporal logic
- formal analysis
- data sets
- formal representation
- hidden markov models
- provably correct
- software requirements
- metadata
- neural network