Abstract | ||
---|---|---|
Deductive program verification can give high assurances for program correctness. But incomplete partial proofs do not provide any information as to what degree or with what probability the program is correct. |
Year | Venue | Field |
---|---|---|
2018 | ISoLA | Correctness proofs,Computer science,Correctness,Mathematical proof,Calculus |
DocType | Citations | PageRank |
Conference | 1 | 0.36 |
References | Authors | |
1 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernhard Beckert | 1 | 862 | 86.50 |
Mihai Herda | 2 | 22 | 3.92 |
Stefan Kobischke | 3 | 1 | 0.36 |
Mattias Ulbrich | 4 | 183 | 17.83 |