RAHFT
From MaRDI portal
Software:36242
No author found.
Source code repository: https://github.com/bishoksan/RAHFT
Related Items (7)
An iterative approach to precondition inference using constrained Horn clauses ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Learning inductive invariants by sampling from frequency distributions ⋮ Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption ⋮ Incremental and Modular Context-sensitive Analysis ⋮ Removing algebraic data types from constrained Horn clauses using difference predicates
This page was built for software: RAHFT
