Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
PolySAT: Solving for Polyglots using Satisfiability Solving and Automated Abstractions
Grant
PolySAT: Solving for Polyglots using Satisfiability Solving and Automated Abstractions .
Share this citation
Twitter
Email
PolySAT: Solving for Polyglots using Satisfiability Solving and Automated Abstractions .
Copy Citation
Share
Overview
Affiliation
View All
Overview
date/time interval
April 15, 2023 - April 14, 2025
awarded by
U.S. Air Force Research Laboratory
subcontracted through
Ohio State University
Funding Organization
administered by
Knight Foundation School of Computing and Information Sciences
sponsor award ID
SPC-1000012890 | GR134510
Affiliation
contributor
Jha, Sumit Kumar
Principal Investigator
