Paper Info
Title
An Interaction Concept for Program Verification Systems with Explicit Proof Object.
Abstract
Deductive program verification is a difficult task: in general, user guidance is required to control the proof search and construction. Providing the right guiding information is challenging for users and usually requires several reiterations. Supporting the user in this process can considerably reduce the effort of program verification.
Year
Venue
Field
2017
Haifa Verification Conference
Proof search,Computer science,Theoretical computer science,Proof of concept
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
8
3
Name
Order
Citations
PageRank
Bernhard Beckert186286.50
Sarah Grebing2724.57
Mattias Ulbrich318317.83