Lingva

MaRDI QIDQ25559swMATHFDO

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