RAHFT

MaRDI QIDQ36242swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-319-41528-4_14

Source code repository https://github.com/bishoksan/RAHFT

Cited in

(22)

• LOGEN
• Dagger
• PURRS
• Removing algebraic data types from constrained Horn clauses using difference predicates
• TRACER
• Eldarica
• HSF
• Learning inductive invariants by sampling from frequency distributions
• Ciao
• CiaoPP
• SeaHorn
• c2i
• Spacer
• VeriMAP
• JayHorn
• 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
• Incremental and modular context-sensitive analysis
• scientific article; zbMATH DE number 7444022 (Why is no real title available?)
• scientific article; zbMATH DE number 7453190 (Why is no real title available?)
• IncA
• TreeAutomizer

This page was built for software: RAHFT