VerifyThis – Verification Competition with a Human Factor

VerifyThis is a series of competitions that aims to evaluatethe current state of deductive tools to prove functional correctness of programs. Such proofs typically require human creativity, and hence iti s not possible to measure the performance of tools independently of the skills of its user. Simi...

Celý popis

Podrobná bibliografie

Vydáno v:	Lecture Notes in Computer Science Ročník 11429; s. 176
Hlavní autoři:	Ernst, Gidon, Huisman, Marieke, Mostowski, Wojciech, Ulbrich, Mattias
Médium:	Kapitola Journal Article
Jazyk:	angličtina
Vydáno:	Switzerland Springer International Publishing AG 2019
Témata:	Competition Program verification Specification languages Tool development Verify This
ISBN:	3030175014, 9783030175016, 3030175022, 9783030175023
ISSN:	1611-3349, 0302-9743
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!