Replicated data types: specification, verification, optimality.
Sebastian BurckhardtAlexey GotsmanHongseok YangMarek ZawirskiPublished in: POPL (2014)
Keyphrases
- data types
- formal verification
- user defined
- data structure
- asynchronous circuits
- data model
- protocol specification
- formal methods
- model checking
- database systems
- database management systems
- back end
- data mining algorithms
- formal specification
- data manipulation language
- database server
- high level
- microsoft sql server