Decision Procedures for the Formal Analysis of Software.
David DéharbePascal FontaineSilvio RaniseChristophe RingeissenPublished in: ICTAC (2006)
Keyphrases
- formal analysis
- decision procedures
- formal methods
- theorem proving
- modal logic
- automated reasoning
- conjunctive queries
- agent model
- source code
- software development
- satisfiability problem
- software components
- ban logic
- containment of conjunctive queries
- quantified boolean formulas
- knowledge based systems
- modeling language
- first order logic
- software systems
- artificial intelligence
- database