TLtoSQL: Rapid post-mortem verification using temporal logic to SQL code generation in the Eclipse PDE.
Doron DrusinskyPublished in: SoSE (2009)
Keyphrases
- temporal logic
- code generation
- model checking
- post mortem
- formal specification
- verification method
- concurrent systems
- model checker
- formal verification
- query language
- relational databases
- open source
- modal logic
- formal methods
- mr images
- software development
- application development
- database
- computation tree logic
- modeling language
- databases
- source code
- bounded model checking
- software reuse
- model driven
- rapid prototyping
- software projects
- database design
- database applications
- epistemic logic
- medical images
- image processing
- linear temporal logic
- linear time temporal logic
- image analysis