Pages that link to "Item:Q6166141"
From MaRDI portal
The following pages link to HoIce: an ICE-based non-linear Horn clause solver (Q6166141):
Displaying 11 items.
- Loop verification with invariants and contracts (Q2152642) (← links)
- Learning inductive invariants by sampling from frequency distributions (Q2225478) (← links)
- Bridging arrays and ADTs in recursive proofs (Q2233489) (← links)
- Unbounded procedure summaries from bounded environments (Q2234080) (← links)
- Copy complexity of Horn formulas with respect to unit read-once resolution (Q2235734) (← links)
- RustHorn: CHC-Based Verification for Rust Programs (Q5041108) (← links)
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs (Q5041118) (← links)
- Fold/Unfold Transformations for Fixpoint Logic (Q5164174) (← links)
- (Q5866353) (← links)
- ICE-based refinement type discovery for higher-order functional programs (Q5919002) (← links)
- The \textsc{Golem} Horn solver (Q6535535) (← links)
