Implementation-level verification of algorithms with KeY

We give an account on the authors’ experience and results from the software verification competition held at the Formal Methods 2012 conference. Competitions like this are meant to provide a benchmark for verification systems. It consisted of three algorithms which the authors have implemented in Ja...

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 17; no. 6; pp. 729 - 744
Main Authors:	Bruns, Daniel, Mostowski, Wojciech, Ulbrich, Mattias
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.11.2015 Springer Nature B.V
Subjects:	Algorithms Benchmarks Competition Computer models Computer programs Computer Science Conferences Construction Java (programming language) Programming languages Software Software Engineering Software Engineering/Programming and Operating Systems Technology transfer Theory of Computation VerifyThis 2012 Benchmark Java Modeling Language Formal verification Theorem prover
ISSN:	1433-2779, 1433-2787
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!