Quantified Underapproximation via Labeled Bunches: Technical Appendices
report
posted on 2025-10-24, 16:01 authored by Lang Liu, Farzaneh Derakhshan, Limin JiaLimin Jia, Gabriel MorenoGabriel Moreno, Mark KleinMark Klein<p dir="ltr">This technical report includes all definitions and proofs of the journal paper.</p>
Funding
Collaborative Research: SaTC: CORE: Small: Mixed Assurance Reasoning via Modal Logic
Directorate for Computer & Information Science & Engineering
Find out more...Department of Defense under Contract No. FA8702-15-D-0002
History
Related Materials
- 1.
