A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering.
Miroslav PopovicVladimir KovacevicIvan VelikicPublished in: ECBS (2002)
Keyphrases
- reverse engineering
- automated theorem proving
- formal specification
- theorem prover
- theorem proving
- software engineering
- answer set programming
- software maintenance
- object oriented
- gene regulatory networks
- software evolution
- reverse engineer
- dynamic analysis
- conceptual schema
- classical logic
- program understanding
- business rules
- artificial intelligence
- first order logic
- software engineers
- logic programs
- program slicing
- answer sets
- legacy systems
- logic programming
- search space