Published January 20, 2024
| Version v2.0.0-rc1
Software
Open
Vericert
Description
First release candidate for the implementation and proof of hyperblock scheduling.
Notes
If you use this software, please cite it as below.
Files
Files
(5.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:6bc62c22f3024e4c0ef2e09ed5ab4b97
|
5.1 MB | Download |
Additional details
Related works
- Is supplement to
- https://github.com/ymherklotz/vericert (URL)