CS2: MODULAR VERIFICATION OF SCIENTIFIC SOFTWARE USING MODEL CHECKING, SYMBOLIC EXECUTION, AND ABSTRACTION

$400,000FY2025Department of EnergyDOE

University Of Delaware, Newark DE

Investigators

CS2: MODULAR VERIFICATION OF SCIENTIFIC SOFTWARE USING MODEL CHECKING, SYMBOLIC EXECUTION, AND ABSTRACTION · GrantIndex