Back to Results
First PageMeta Content
T1 / SPIN model checker / Linear temporal logic / Temporal logic / Model checking


Directed Explicit-State Model Checking - Dagstuhl, Nov. 9, 2001 Stefan Leue Albert-Ludwigs-Universität Freiburg Institut für Informatik tele Research Group for Computer Networks and Telematics
Add to Reading List

Document Date: 2001-11-09 18:19:08

Open Document

File Size: 477,90 KB

Share Result on Facebook

City

Automata / /

/

IndustryTerm

depth-first search / /

Organization

Stefan Leue Albert-Ludwigs-Universität Freiburg Institut für Informatik / /

Person

Stefan Leue / /

ProgrammingLanguage

Promela / /

Technology

4 tele Search Algorithms / Validation Algorithm / /

SocialTag