CCSpec: a correctness condition specification tool.

Christina L. Peterson Pierre LaBorde Damian Dechev

Published in: ICPC (2019)

Keyphrases

sufficient conditions
software tools
database
data sets
databases
formal specification
formal methods
provably correct
neural network
high level
data structure
conceptual model
user friendly