Abbrevation
VSTTE
Link
http://qpq.csl.sri.com/vsr/vstte-08
City
Toronto
Country
Canada
Deadline Paper
Start Date
End Date
Abstract

<P> VSTTE 2008 invites submissions of technical papers on all aspects of verified software covering theoretical as well as experimental&#046; </P> <P><B>Keywords:</B> </P> <P>requirements modeling, specification languages, specification case&#8211;studies, formal calculi, programming languages, language semantics, software design methods, software testing, automatic code generation, refinement methodologies, type systems, computer security, verification tools (static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments&#046;</P>