Back to Results
First PageMeta Content
Computer science / Model checkers / Concurrency / Automata theory / Diagrams / NuSMV / Petri net / Model checking / Formal verification / Models of computation / Theoretical computer science / Applied mathematics


McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No
Add to Reading List

Document Date: 2009-06-10 18:11:01

Open Document

File Size: 203,17 KB

Share Result on Facebook

/

IndustryTerm

higher quality products / model checking software / non-keyboard input devices / model checking algorithms / /

Organization

McGill University School of Computer Science Game Research / /

Person

Christopher J. F. Pickett / /

Position

current interpreter / player / interpreter / game designer / programmer / /

ProgrammingLanguage

TADS / L / /

Technology

finite state machine / modifying model checking algorithms / simulation / /

SocialTag