KeY-ABS

swMATH39518MaRDI QIDQ55218FDOQ55218

Author name not available (Why is that?)

Described by source

• KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS

Cited In (2)

• A Dynamic Logic with Traces and Coinduction
• Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking

This page was built for software: KeY-ABS