Lingva

swMATH13645MaRDI QIDQ25559FDOQ25559

Author name not available (Why is that?)

Official website: http://www.complang.tuwien.ac.at/ioan/lingva.html

Described by source

• Lingva: generating and proving program properties using symbol elimination

Cited In (3)

• A First Class Boolean Sort in First-Order Theorem Proving and TPTP
• DynaMate
• Reasoning about loops using Vampire in KeY

This page was built for software: Lingva