Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Model Database ResolutionCovers model database resolution, hydrology, GIS, connections, transitions, and validation using various datasets.