[TYPES/announce] CFP: International Workshop on Software Verification and Validation

James Yang zijiang.yang at wmich.edu
Wed Apr 5 10:12:02 EDT 2006


SVV'06: 4th International Workshop on Software Verification and Validation

August 21, 2006, Seattle, USA

http://www.comp.nus.edu.sg/~abhik/svv06/

 

In Conjunction with

Federated Logic Conferences (FLoC) 2006          

 

CALL FOR PAPERS 

 

 

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 

of these methodologies, as well as study the individual contribution of each


of these methodologies in verifying software. An example of a combined 

verification methodology is the recent research direction that combines 

abstraction (of infinite-state programs into finite-state ones) with model 

checking (of finite-state systems).  There is a growing conviction in the 

research community that such hybrid methodologies are imperative for the 

process of  analyzing full-fledged software systems. This workshop will
study 

combination of analysis methodologies for verification of software.  This 

research is very important and timely since

 

    . Software is being increasingly used to control embedded systems which 

      are often safety critical (such as automobile parts).

    . There is renewed promise in program verification in the recent years 

      due to (a) progress in generating models from code, and 

      (b)  combination of model checking with other analysis techniques such


      as abstract interpretation.

 

 

Topics Covered

==============

 

The workshop will focus on theoretical techniques, practical methods as well


as  case studies for verification of  conventional and embedded software 

systems. In particular, we welcome papers which describe combinations of 

formal and informal reasoning, as well as formal verification and program 

analysis techniques. Tool papers and case studies, which report on  advances


in verifying large scale programs in standard languages are particularly 

sought. The list of topics include, but are not restricted to:

 

    . Tools, environments and case studies for large scale software 

      verification

    . Static analysis/Abstract interpretation/Program transformations 

      for verification

    . Use of model checking and deductive techniques for software
verification

    . Role of declarative programming languages (such as Prolog) for
infinite 

      state software verification.

    . Techniques to validate system software (such as compilers) as well as 

      assembly code/Java bytecode

    . Proof techniques for verifying specific classes of software (such as 

      object-oriented programs)

    . Integrating testing and run-time monitoring with formal techniques

    . Validation of UML diagrams, and/or  requirement specifications

    . Software certification and proof carrying code

    . Integration of formal verification into software development projects

 

 

Submissions Information

=======================

 

    . Regular submissions should be no more than 15 pages. Short papers
(upto 

      5 pages) describing initial ideas are also welcome. All submitted
papers 

      should be in PS or PDF. Please avoid using zip, gzip, compress, tar
etc.

 

    . Proceedings of the workshop will be published by Computing Research 

      Repository (CoRR).

 

    . The deadlines are as follows.

          . Submission deadline:  May 1, 2006

          . Notification of Acceptance:  June 9, 2006

          . Final Version submission:  June 23, 2006

 

Program Committee

==================

 

    . Rajeev Alur, Univ. of Penn. (USA)

    . Tevfik Bultan, Univ. of California Santa Barbara (USA)

    . Sagar Chaki, Software Engg Institute CMU (USA)

    . Maurizio Gabbrielli, Univ. of Bologna (Italy)

    . Aarti Gupta, NEC Labs (USA)

    . Gopal Gupta, Univ of Texas Dallas (USA)

    . Shengchao Qin, Univ. of Durham (UK)

    . C.R. Ramakrishnan, Univ. of Stony Brook (USA)

    . R.E. Kurt Stirewalt, Michigan State Univ. (USA)

 

 

Invited Speakers

================

 

    . Byron Cook, Microsoft Research

 

Organizers

==========

 

    . Abhik Roychoudhury, National University of Singapore, Singapore.

      Email: abhik at comp.nus.edu.sg

    . Zijiang Yang, Western Michigan University, USA. 

      Email: zijiang.yang at wmich.edu

 

If you have any queries about the workshop, please send e-mail to either of
us

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20060405/d3849a29/attachment.htm


More information about the Types-announce mailing list