Concurrent Program Verification with Invariant-Guided Underapproximation.
Sumanth PrabhuPeter SchrammelMandayam K. SrivasMichael TautschnigAnand YeolekarPublished in: ATVA (2017)
Keyphrases
- affine invariant
- affine transformation
- neural network
- real world
- concurrent programs
- databases
- mutual exclusion
- object recognition
- website
- pattern recognition
- artificial neural networks
- user interface
- image analysis
- medical images
- bayesian networks
- invariant features
- invariant properties
- learning algorithm
- invariant representations
- noise resistant
- data mining