Journals
Publish with us
Publishing partnerships
About us
Blog
BioMed Research International
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
BioMed Research International
/
2017
/
Article
/
Tab 8
/
Research Article
Model Checking Temporal Logic Formulas Using Sticker Automata
Table 8
The results: checking for
φ
1
in the different paths of
M
1
(whether or not the path satisfies
φ
1
).
Formula
Path 1
Path
,
where
Path 15
Does
satisfy
φ
1
?
φ
1
Yes
Yes
Yes
Yes