1 Oct 2005 13:47
[Dbworld] CFP : SVV05 with extended deadline
--------------------------------------------------------------------------------
***************New Submission Deadline: Octorber 4, 2005********************
CALL FOR PAPERS
SVV'05: 3RD INTERNATIONAL WORKSHOP ON
SOFTWARE VERIFICATION AND VALIDATION
October 31, 2005
Manchester, UK
http://www.cs.wmich.edu/~zijiang/svv2005/
In Conjunction with
International Conference on Formal Engineering Methods
(ICFEM'05)
--------------------------------------------------------------------------------
Goal of the Workshop
Software is playing an important role in economy, government, and military.
Since software is often deployed in safety critical applications, correctness
and reliability have become issues of utmost importance. Techniques for
verification and validation traditionally fall into three main categories.
The first category involves informal methods such as software testing and
monitoring. The second involves formal verification, i.e., model checking and
theorem proving. The third is abstract interpretation and static program
analysis techniques.
The goal of this workshop is to promote discussion on novel combinations
(Continue reading)
RSS Feed