Tecton

MaRDI QIDQ40619swMATHFDO

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
• STeP
• RDL
• AFFIRM
• RRL
• Gordon's computer: A hardware verification case study in OBJ3

This page was built for software: Tecton