Issue 8/2021
Content (6 Articles)
Open Access
Handling Transitive Relations in First-Order Automated Reasoning
Koen Claessen, Ann Lillieström
An Automatically Verified Prototype of the Tokeneer ID Station Specification
Maximiliano Cristiá, Gianfranco Rossi
Formalization of Ring Theory in PVS
Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón
Open Access
Experiences from Exporting Major Proof Assistant Libraries
Michael Kohlhase, Florian Rabe