TACO
From MaRDI portal
Software:19686
No author found.
Related Items (4)
A Study of Symmetry Breaking Predicates and Model Counting ⋮ Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation ⋮ Alloy*: a general-purpose higher-order relational constraint solver ⋮ Efficient bounded model checking of heap-manipulating programs using tight field bounds
This page was built for software: TACO
