Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
Publication year: 2008
: 978-3-540-87873-5
The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.
: Computer Science / Software Engineering / Mathematical Logic and Formal Languages / Logics and Meanings of Programs / Programming Languages, Compilers, Interpreters / Programming Techniques / Models and Principles / Action / Benchmark / Java / algorithms / bounded verification / design methods / logic / modal logic / programming language / propositional logic / requirements modelling / security / semantic / specification / verification
