TACO

MaRDI QIDQ19686swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1831712

Described by source

• TACO: a toolkit for AMPL control optimization

Cited in

(13)

• StarFinder
• Efficient bounded model checking of heap-manipulating programs using tight field bounds
• Enhancing symbolic execution of heap-based programs with separation logic for test input generation
• Korat
• Rostra
• TestEra
• SReach
• CRN++
• JaCoCo
• DynAlloy
• JBSE
• Alloy*: a general-purpose higher-order relational constraint solver
• A study of symmetry breaking predicates and model counting

This page was built for software: TACO