Synthesizing software verifiers from proof rules.
Sergey GrebenshchikovNuno P. LopesCorneliu PopeeaAndrey RybalchenkoPublished in: PLDI (2012)
Keyphrases
- logical rules
- computer systems
- software package
- software systems
- software tools
- source code
- software development
- software design
- association rules
- theorem proving
- association rule mining
- real time
- first order logic
- software components
- domain experts
- software developers
- learning classifier systems
- open source
- knowledge discovery
- linear logic