Embedding Static Analysis into Tableaux and Sequent Based Frameworks.
Tobias GedellPublished in: TABLEAUX (2005)
Keyphrases
- static analysis
- modal logic
- sequent calculi
- dynamic analysis
- source code
- decision procedures
- inference rules
- regular expressions
- malicious code
- temporal logic
- java card
- abstract interpretation
- symbolic execution
- sequent calculus
- test generation
- test suite
- vector space
- databases
- cut elimination
- data hiding
- software engineering
- object oriented
- high level