RAHFT
From MaRDI portal
Software:36242
swMATH24485MaRDI QIDQ36242FDOQ36242
Author name not available (Why is that?)
Source code repository: https://github.com/bishoksan/RAHFT
Cited In (7)
- An iterative approach to precondition inference using constrained Horn clauses
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
- Title not available (Why is that?)
- Title not available (Why is that?)
- Learning inductive invariants by sampling from frequency distributions
- Incremental and Modular Context-sensitive Analysis
- Removing algebraic data types from constrained Horn clauses using difference predicates
This page was built for software: RAHFT
