Back to Results
First PageMeta Content
Mathematical logic / Mathematics / Science / Metalogic / Kripke structure / Well-formed formula / Symbolic trajectory evaluation / Linear temporal logic / Logic / Model checking / Temporal logic


Microsoft PowerPoint - all-lectures-markt07
Add to Reading List

Document Date: 2007-08-04 08:21:38

Open Document

File Size: 413,49 KB

Share Result on Facebook

IndustryTerm

reactive systems / communication protocols / non finite state systems / /

OperatingSystem

Xp / /

Organization

Technion / /

Person

Orna Grumberg Technion / /

Technology

communication protocols / /

SocialTag