File
uploading data.pdf
Submitted by Noelle Sweeney on May 2nd, 2022
File
TE SAT - Transactive Energy Simulation and Analysis Toolsuite
Himanshu Neema Submitted by Himanshu Neema on August 18th, 2021
File
Transactive Energy and Solarization : Assessing the Potential for Demand Curve Management and Cost Savings
Himanshu Neema Submitted by Himanshu Neema on August 18th, 2021
File
Simulation Integration Platforms
Himanshu Neema Submitted by Himanshu Neema on August 18th, 2021
File
PIRE research overview
Katie Dey Submitted by Katie Dey on August 15th, 2021
File
Automated Reasoning and the future of Formal Methods
Submitted by Clark Barrett on January 14th, 2021
File
FM @ Scale Presentation - Bjourner
Submitted by Anonymous on January 14th, 2021
File
Making the (Software) TCB Trustworthy
Submitted by Anonymous on January 14th, 2021
File
Industrial use (of ACL2) for Hardware Verification
Submitted by Warren Hunt on January 14th, 2021
File
Proofs, Proverbs, Processes at Scale
Natarajan Shankar Submitted by Natarajan Shankar on January 14th, 2021
Subscribe to Presentation