Back to Results
First PageMeta Content
Theoretical 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 the
Add to Reading List

Document Date: 2008-02-25 10:26:47

Open Document

File Size: 160,23 KB

Share Result on Facebook
UPDATE