https://doi.org/10.5281/zenodo.17120270
| File | Mode | Size |
|---|---|---|
| CoreIVL | ||
| Fractions | ||
| FrontEnd | ||
| HyperHoareLogic | ||
| SymEx | ||
| VCG | ||
| Viper | ||
| Wands | ||
| Chapter2_TranslationalVerifiers.thy | -rw-r--r-- | 29.7 KB |
| Chapter3_FractionalPredicates.thy | -rw-r--r-- | 19.5 KB |
| Chapter4_Wands.thy | -rw-r--r-- | 11.2 KB |
| Chapters56_HHL_Hypra.thy | -rw-r--r-- | 32.1 KB |
| LICENSE | -rw-r--r-- | 16.3 KB |
| README.md | -rw-r--r-- | 3.1 KB |
README.md
Loading README.md ...
