A Logic Based Approach to the Static Analysis of Production Systems.
Jos de BruijnMartín RezkPublished in: RR (2009)
Keyphrases
- production system
- static analysis
- dynamic analysis
- multistage
- source code
- production process
- multiprocessor architecture
- symbolic execution
- java card
- malicious code
- regular expressions
- abstract interpretation
- control structure
- test generation
- certainty factor
- logic programming
- production rules
- markov decision
- artificial intelligence
- scheduling jobs
- database
- databases
- case study
- expert systems
- object oriented