Instrumenting a weakest precondition calculus for counterexample generation (Q1648649)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Instrumenting a weakest precondition calculus for counterexample generation |
scientific article; zbMATH DE number 6895327
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Instrumenting a weakest precondition calculus for counterexample generation |
scientific article; zbMATH DE number 6895327 |
Statements
Instrumenting a weakest precondition calculus for counterexample generation (English)
0 references
27 June 2018
0 references
deductive program verification
0 references
weakest precondition calculus
0 references
satisfiability modulo theories
0 references
counterexamples
0 references
0 references
0.89551055
0 references
0.86721337
0 references
0.8636987
0 references
0.85544276
0 references
0.8550736
0 references
0.85230684
0 references
