TACO

swMATH7668MaRDI QIDQ19686FDOQ19686

Author name not available (Why is that?)

Described by source

• TACO: a toolkit for AMPL control optimization

Cited In (4)

• 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
• A study of symmetry breaking predicates and model counting

This page was built for software: TACO