danesabo/Zettelkasten
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Zettelkasten/Permanent Notes/20250822135802-abstract-interpretation-for-formal-methods.md
Dane Sabo 72d1d5a770 file sync
2026-02-06 20:19:24 -05:00

371 B
Raw Permalink Blame History

id title type created modified tags
20250822135802 Abstract Interpretation for Formal Methods permanent 2025-08-22T17:58:02Z 2025-08-25T16:01:46Z

Abstract Interpretation for Formal Methods

Abstract interpretation in a formal methods context takes something about a system and makes an approximation of it in order to make reasoning about it easier.