coreStar is a highly-customisable automatic generic core symbolic execution
engine for analysis and verification with separation logic.
Commercial Use
Modify
Distribute
Place Warranty
Hold Liable
Use Trademarks
Include Copyright
Include License
These details are provided for information only. No information here is legal advice and should not be used as such.
30 Day SummaryFeb 2 2021 — Mar 4 2021
|
12 Month SummaryMar 4 2020 — Mar 4 2021
|