The following pages link to TACO (Q19686):
Displaying 4 items.
- Alloy*: a general-purpose higher-order relational constraint solver (Q2009609) (← links)
- Efficient bounded model checking of heap-manipulating programs using tight field bounds (Q2044185) (← links)
- Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594) (← links)
- A Study of Symmetry Breaking Predicates and Model Counting (Q5039506) (← links)
