summaryrefslogtreecommitdiff
path: root/Assignment1/library.bib
AgeCommit message (Collapse)AuthorFilesLines
2018-04-16Start of semantic algorithmErin van der Veen1-0/+17
2018-04-15First two separation rulesErin van der Veen1-0/+6
2018-04-15Add result by Sistla (1985): complexity of model checking for PLTL is the ↵Camil Staps1-0/+10
same as for LTL
2018-04-12Add an exercise based on Markey's proof; extend the grammar because we allow ↵Camil Staps1-0/+10
PLTL formulas inside LTL formulas
2018-04-12NotationsCamil Staps1-0/+9
2018-04-12Examples; definition of vDashCamil Staps1-4/+4
2018-04-12LTLP -> PLTL; add SSH example; simplify Tikz; changes to look more like ↵Camil Staps1-0/+7
Baier-Katoen; dual modalities
2018-04-08Introduction 1 and 2Erin van der Veen1-0/+63