A Framework for Verifying Data Consistency
summary
Presents a Python-based framework used in several projects that separates business-rule verification from data access so consistency checks do not need to know how to retrieve data. The framework supports checking data spread across in-memory structures and different storage systems, letting developers implement validation rules independently of persistence details.
AI-written summary · about
chapters (7)
- 0:00Introduction
- 2:18Project goals and motivation
- 5:32Validator structure and operation
- 14:29Function calls and rules
- 19:11Validator use and results
- 22:06Limitations and challenges
- 24:16Future plans and conclusion
related talks
14mBolt-On Strong Consistency: Specification, Implementation, and Verification
11mSoftware, but not as we know it: Part Two
01h 00mCooperative Verification: Towards Reliable Safety-Critical Systems
15mTowards Verifying Crash Consistency
41mEcosystem for Reliable Python Programming
46mData Integrity 2.0. The biggest advancement in data quality in 30 years!
32mA Data Science Operationalization Framework
28mGradual Verification: Assuring Software Incrementally