Tecton

swMATH28905MaRDI QIDQ40619FDOQ40619

Author name not available (Why is that?)

Official website: https://www.sciencedirect.com/science/article/pii/0304397594901929

Described by source

• An overview of the Tecton proof system

Cited In (8)

• New uses of linear arithmetic in automated theorem proving by induction
• Constraint contextual rewriting.
• An approach to literate and structured formal developments
• Gordon's computer: A hardware verification case study in OBJ3
• STeP
• RDL
• AFFIRM
• RRL

This page was built for software: Tecton