VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014
Published in: VPT@CAV (2014)
Keyphrases
- computer aided
- computer assisted
- lecture notes
- model checking
- computer aided diagnosis
- symbolic execution
- asynchronous circuits
- verification method
- lecture notes in artificial intelligence
- diagnosis of breast cancer
- design tools
- hardware designs
- cad systems
- image analysis
- prostate cancer
- neural network
- logic programming
- selected papers
- formal verification
- definition language
- modal logic
- fuzzy logic
- feature extraction