A Machine-Checked Implementation of Buchberger's Algorithm
Journal of Automated Reasoning
DEALed - A Tool Suite for Distributed Real-Time Systems Development
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Routing Information Protocol in HOL/SPIN
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Verifying a Distributed Database Lookup Manager Written in Erlang
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Inductively Verifying Invariant Properties of Parameterized Systems
Automated Software Engineering
The verifying compiler: a grand challenge for computing research
CC'03 Proceedings of the 12th international conference on Compiler construction
Saoithín: a theorem prover for UTP
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
| Hi-index | 0.00 |