omega-neuro-symbolic-verification
Use when high assurance is needed for invariants, authorization, concurrency, state machines, financial logic, numerical behavior, protocols, or safety-critical code. Escalates from tests to solver/model/proof tools while precisely stating the assurance achieved.
Pinned to revision 68b01d862258, so it is the text this page describes rather than whatever the author pushed since.
Files
Every link opens the file at its source, pinned to the revision this page describes.