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)

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

This page was built for software: TACO