index
:
NWI-IMC046-Model-Checking
master
Files related to NWI-IMC046 Model Checking, spring 2018, Radboud University Nijmegen.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
Files
Lines
2018-04-19
Minor textual enhancements; remove outdated todos
Camil Staps
3
-9
/
+2
2018-04-19
Example for satisfaction by words; still needed: satisfaction by TS (and equi...
Camil Staps
4
-3
/
+55
2018-04-19
Lalala
Camil Staps
6
-23
/
+35
2018-04-19
Merge branch 'camil'
Camil Staps
1
-14
/
+15
2018-04-19
Remove <<<<<<HEAD
Erin van der Veen
1
-1
/
+0
2018-04-19
Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking
Erin van der Veen
7
-73
/
+134
2018-04-19
Safra's determinization algorithm
Erin van der Veen
3
-22
/
+45
2018-04-18
Example: protocol dependencies
Camil Staps
4
-6
/
+48
2018-04-18
Bars everywhere
Camil Staps
2
-4
/
+8
2018-04-18
(for me) more intuitive intuitive semantics
Camil Staps
1
-12
/
+15
2018-04-18
Check syntactic elimination rules
Camil Staps
1
-22
/
+33
2018-04-18
Minor enhancements
Camil Staps
5
-25
/
+27
2018-04-18
Copy-edited first part of semantic algorithm
Camil Staps
1
-14
/
+15
2018-04-18
Finish(?) SSH example
Camil Staps
2
-10
/
+8
2018-04-18
Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking
Erin van der Veen
1
-9
/
+102
2018-04-18
Semi-Deterministic Büchi Automata
Erin van der Veen
1
-0
/
+24
2018-04-18
finish conversion example
Camil Staps
1
-9
/
+102
2018-04-18
Start with editing of the syntactic algorithm for PLTL -> LTL
Camil Staps
3
-54
/
+120
2018-04-17
Correct upper bound for bad prefixes
Camil Staps
2
-23
/
+31
2018-04-17
Upper bound for minimal bad prefices
Camil Staps
3
-5
/
+97
2018-04-17
Muller Automata
Erin van der Veen
2
-0
/
+27
2018-04-17
PLTL to Büchi automaton
Erin van der Veen
1
-0
/
+56
2018-04-17
Start with minimal bad prefixes
Camil Staps
8
-7
/
+32
2018-04-17
Semantics over paths and states
Camil Staps
1
-16
/
+2
2018-04-17
Deriving the formal semantics of derived operators
Camil Staps
4
-15
/
+39
2018-04-17
Add definitions of wff, wff0, wff+, wff- (and an exercise about them)
Camil Staps
3
-1
/
+62
2018-04-16
Start of semantic algorithm
Erin van der Veen
2
-2
/
+26
2018-04-16
Finish Syntactic Algorithm
Erin van der Veen
1
-2
/
+6
2018-04-15
Elimination Rules
Erin van der Veen
1
-11
/
+50
2018-04-15
First two separation rules
Erin van der Veen
2
-1
/
+30
2018-04-15
Fix rewrite rules
Erin van der Veen
1
-6
/
+6
2018-04-15
Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking
Erin van der Veen
5
-5
/
+25
2018-04-15
Step 1 of syntactic algorithm
Erin van der Veen
1
-2
/
+29
2018-04-15
Add result by Sistla (1985): complexity of model checking for PLTL is the sam...
Camil Staps
2
-2
/
+13
2018-04-15
Add two summary points, this means we do not need a comparison subsection any...
Camil Staps
3
-3
/
+12
2018-04-13
Introduction PLTL to LTL
Erin van der Veen
2
-1
/
+13
2018-04-13
Add an exercise about dual modalities
Camil Staps
4
-5
/
+38
2018-04-12
Organise in different files
Camil Staps
12
-449
/
+450
2018-04-12
Correct section counts
Camil Staps
1
-12
/
+15
2018-04-12
Add an exercise based on Markey's proof; extend the grammar because we allow ...
Camil Staps
2
-27
/
+193
2018-04-12
Notations
Camil Staps
2
-3
/
+35
2018-04-12
Add contribution annotations
Camil Staps
1
-2
/
+31
2018-04-12
Examples; definition of vDash
Camil Staps
2
-34
/
+73
2018-04-12
Styling
Camil Staps
1
-34
/
+70
2018-04-12
LTLP -> PLTL; add SSH example; simplify Tikz; changes to look more like Baier...
Camil Staps
2
-114
/
+164
2018-04-10
Align intuitive symantics
Erin van der Veen
1
-4
/
+6
2018-04-10
Define equivalence for LTLP
Erin van der Veen
1
-0
/
+13
2018-04-10
Definitions do change, change definitions
Erin van der Veen
1
-1
/
+16
2018-04-09
LTL-Past -> LTLP
Erin van der Veen
1
-1
/
+1
2018-04-09
Formal semantics of LTLP
Erin van der Veen
1
-1
/
+37
[next]