KeY-ABS

swMATH39518MaRDI QIDQ55218FDOQ55218

Author name not available (Why is that?)

Official website: https://abs-models.org/tutorial_pdfs/KeY-ABS.pdf

Described by source

• Key-ABS: a deductive verification tool for the concurrent modelling language ABS

Cited In (5)

• Zephyrus2
• Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
• Algorithm 864
• ABS
• A dynamic logic with traces and coinduction

This page was built for software: KeY-ABS