7th International Symposium on Automated Technology for Verification and Analysis, Macao SAR, China

Abbrevation

ATVA

Link

http://www.iist.unu.edu/atva09/callforworkshop.html

City

Macao SAR

Country

China

Deadline Paper

2009-05-01

Start Date

2009-10-11

End Date

2009-10-16

Abstract

<pre>The scope of interest is intentionally kept broad; it includes: –– Theory useful for providing designers with automated support for obtaining correct software or hardware systems, including both functional and nonfunctional aspects, such as: theory of (timed and hybrid) automata, process calculi, Petri–nets, concurrency theory, compositionality, model–checking, automated theoremproving, synthesis, performance analysis, correctness–by–construction, infinite state systems, abstract interpretation, decidability results, parametric analysis or synthesis. –– Applications of theory in engineering methods and other particular domains and handling of practical problems occurring in tools, such as analysis and verification tools, synthesis tools, model transformation tools. Techniques of reducing complexity of verification by abstraction, improved representations. Methods and tools in handling user level notations, such as UML. Practice in industrial applications to hardware, software or real–time and embedded systems. Case studies, illustrating the usefulness of tools or a particular approach are also welcome. Theory papers should be motivated by practical problems and applications should be rooted in sound theory. We are interested both in algorithms and in methods and toolsfor integrating formal approaches into industrial practice. Submissions: Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on thebasis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. ATVA 2009 calls for two types of contributions: RESEARCH PAPERS and TOOL DEMONSTRATION PAPERS. Both types of contributions will appear in the proceedings and have oral presentations at the conference. Papers should be written in English in LNCS format. Research papers: Research papers should contain original research, and sufficient detail to assess the mer its and relevance of the contribution. Submissions reporting on industrial case studies are welcome, and should describe both strengths and weaknesses in sufficient depth. Research papers should be no more than 15 pages. Tool demonstration papers: Tool demonstration papers present tools based on aforementioned theories orfall into the above application areas. Tool demonstration papers allow researchers to stress the technical and practical side, illustrating how one can apply the theoretic contributions in practice. Tool demonstration papers should be no more than 6 pages. Submission Procedure: Further information and instruction about submission can be found at the conference website <a href="http://www.iist.unu.edu/atva09">http://www.iist&#04…;