Simplifying the Verification of Quantified Array Assertions via Code Transformation.
Mohamed Nassim SeghirMartin BrainPublished in: LOPSTR (2012)
Keyphrases
- knowledge base
- source code
- model checking
- transformation rules
- byte code
- verification method
- signature verification
- formal verification
- person identification
- programmable logic
- real world
- information systems
- symbolic execution
- concurrent systems
- covering arrays
- universally quantified
- real time
- cryptographic protocols
- test generation
- binary codes
- petri net
- learning algorithm
- neural network
- databases