Formal Verification of Deterministic Safety Gate (DSG)

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Thanawat suparongsuwan
DOI: 10.5281/zenodo.18225585
Cited by: 0

Abstract

formal verificationdeterministic controlSMTZ3 theorem proversafety invariantscontrol plane architectureruntime enforcementhigh-assurance systemsAI governanceconstant-time algorithms

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Safety Systems Engineering in Autonomy

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
12 January 2026