Fast verification of MLL proof nets via IMLL.

Andrzej S. Murawski C.-H. Luke Ong

Published in: ACM Trans. Comput. Log. (2006)

Keyphrases

formal proof
model checking
theorem proving
face verification
signature verification
person identification
linear logic
functional verification
case study
formal verification
e learning
website
logic programming
formal methods
asynchronous circuits