TACO

swMATH7668MaRDI QIDQ19686FDOQ19686

Author name not available (Why is that?)

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

Described by source

• TACO: a toolkit for AMPL control optimization

Cited In (13)

• StarFinder
• 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
• Korat
• Rostra
• TestEra
• SReach
• CRN++
• JaCoCo
• DynAlloy
• JBSE
• A study of symmetry breaking predicates and model counting

This page was built for software: TACO