Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

AvSandrine Blazy,Marsha Chechik

Häftad, Engelska, 2016

Del 9971 i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.

Produktinformation

Utgivningsdatum:2016-11-08
Mått:155 x 235 x 12 mm
Vikt:335 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:199
Förlag:Springer International Publishing AG
ISBN:9783319488684

Utforska kategorier

Innehållsförteckning

Education.- requirements modeling.- specification languages.- specification/verification.- formal calculi.- software design methods.- automatic code generation.- refinement methodologies.- compositional analysis.- verification tools.- Tool integration.- Benchmarks.- Challenge problems.- Integrated verification environments.