Login / Signup
On Hoare Triples Applicability to Dependable System Specification Synthesis.
Vadym Shkarupylo
Alexander Chemeris
Valentyna Dusheba
Ravil Kudermetov
Andrii O. Oliinyk
Published in:
DESSERT (2020)
Keyphrases
</>
real world
high level
fault tolerant
formal verification
formal language
cscw systems
databases
multi agent systems
expert systems
query processing
mobile robot
formal specification
formal methods
program synthesis
reactive systems