Travelled to:
1 × USA
Collaborated with:
∅ N.Zabel
Talks about:
tatzelwurm (2) program (2) verifi (2) system (2) reason (2) linear (2) inequ (2) about (2) theorem (1) prover (1)
Person: Thomas Käufl
DBLP: K=auml=ufl:Thomas
Contributed to:
Wrote 3 papers:
- CADE-1990-KaflZ #proving #theorem proving #verification
- The Theorem Prover of the Program Verifier Tatzelwurm (TK, NZ), pp. 657–658.
- CADE-1988-Kafl #linear #reasoning
- Reasoning about Systems of Linear Inequalities (TK), pp. 563–572.
- CADE-1986-Kafl #linear #reasoning #verification
- Program Verifier “Tatzelwurm”: Reasoning about Systems of Linear Inequalities (TK), pp. 300–305.