<pre>ACM Symposium on Applied Computing<br>The ACM Symposium on Applied Computing (SAC) has gathered scientists<br>from different areas of computing over the past twenty–four years. The<br>forum represents an opportunity to interact with different communities<br>sharing an interest in applied computing.<br>SAC 2010 is sponsored by SIGAPP and will be hosted by the University of<br>Applied Sciences, Western Switzerland in Sierre, and École Polytechnique<br>Fédérale de Lausanne in Lausanne.<br>Software Verification and Testing Track<br>We invite authors to submit new results in formal verification and<br>testing, as well as development of technologies to improve the usability<br>of formal methods in software engineering. Also welcome are detailed<br>descriptions of applications of mechanical verification to large scale<br>software. Possible topics include, but are not limited to:<br>– tools and techniques for verification of large scale software systems<br>– real world applications and case studies applying software verification<br>– static and run–time analysis<br>– abstract interpretation<br>– model checking<br>– theorem proving<br>– correct by construction development<br>– model–based testing<br>– verification–based testing<br>– symbolic execution<br>– analysis methods for dependable systems<br>– software certification and proof carrying code</pre>
Abbrevation
SVT
City
Sierre
Country
Switzerland
Deadline Paper
Start Date
End Date
Abstract