Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving

Aagaard, Mark D. ; Jones, Robert B. ; Seger, Carl-Johan H. Hirschowitz, André ; Théry, Laurent ; Paulin, Christine ; Bertot, Yves ; Dowek, Gilles

Lecture notes in computer science, 1999, Vol.1690, p.323-340 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível