Date: 2008-02-25 10:26:47Theoretical computer science Formal methods Computing Mathematics Logic in computer science Graph rewriting Model checking Algorithm Formal verification Abstraction Generic programming Finite-state machine | | An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support theAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 160,23 KBShare Document on Facebook
|