Chapter 20. Logic in Programming
Logic programming, type systems, verification, model checking, and program synthesis.
Tag
Verification
3 notes
3 notes
Logic programming, type systems, verification, model checking, and program synthesis.
Logic programming, type systems, verification, model checking, and program synthesis.
How to make computational results repeatable, checkable, and trustworthy.