Detail

26th Annual Symposium On Applied Computing – Software Verification and Testing Track

The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. We invite authors to submit contributions on:
•tools and techniques for verification of large scale software systems
•real world applications and case studies applying software verification
•static and run-time analysis
•abstract interpretation
•model checking
•theorem proving
•correct by construction development
•model-based testing
•verification-based testing
•symbolic execution
•analysis methods for dependable systems
•software certification and proof carrying code