Add 3 papers and 2 web pages, Requirements and Model Checking.
Chris Pressey
9 months ago
17 | 17 | |
18 | 18 | <!-- TOTALS --> |
19 | 19 | |
20 | Currently it consists of **670** web pages, **82** repositories, **169** papers, and **178** books in **99** topics. | |
20 | Currently it consists of **671** web pages, **82** repositories, **173** papers, and **178** books in **99** topics. | |
21 | 21 | Of these, [**110** have the highest rating](by-rating/Top-rated.md), |
22 | 22 | [**33** are considered classics](by-rating/Classic.md), |
23 | 23 | [**73** are considered very interesting](by-rating/Very%20Interesting.md), |
24 | while [**65** are yet to be rated](by-rating/Unrated.md). | |
24 | while [**68** are yet to be rated](by-rating/Unrated.md). | |
25 | 25 | |
26 | 26 | <!-- /TOTALS --> |
27 | 27 |
133 | 133 | * Complexity Hierarchies Beyond Elementary (online @ [arxiv.org](https://arxiv.org/abs/1312.5686)) |
134 | 134 | * Pure vs Impure Lisp (online @ [dl.acm.org](https://dl.acm.org/doi/pdf/10.1145/244795.244798)) |
135 | 135 | |
136 | ### Formal Specification | |
137 | ||
138 | * [Consistency Checking of Functional Requirements](https://arxiv.org/abs/1804.10486) | |
139 | * [Consistency Checking in Requirements Analysis](https://jar-ben.github.io/papers/ISSTA2017.pdf) | |
140 | * [Automated Consistency Checking of Requirements Specifications](https://apps.dtic.mil/sti/tr/pdf/ADA465574.pdf) | |
141 | ||
136 | 142 | ### Functional Programming |
137 | 143 | |
138 | 144 | * let (rec) insertion without effects, lights or magic (online @ [icfp19.sigplan.org](https://icfp19.sigplan.org/details/mlfamilyworkshop-2019-papers/6/let-rec-insertion-without-effects-lights-or-magic)) |
10 | 10 | |
11 | 11 | * authors: Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer |
12 | 12 | * date: 2020 |
13 | * future-topics: Requirements Engineering | |
13 | 14 | * url: https://arxiv.org/abs/1911.02564 |
14 | 15 | |
15 | 16 | . |
16 | 17 | |
17 | ### Automatic program generation from specifications using PROLOG : Pelin, Alex : Free Download, Borrow, and Streaming : Internet Archive | |
18 | ### Consistency Checking of Functional Requirements | |
19 | ||
20 | * authors: Simone Vuotto | |
21 | * date: 2018 | |
22 | * future-topics: Requirements Engineering | |
23 | * url: https://arxiv.org/abs/1804.10486 | |
24 | ||
25 | . | |
26 | ||
27 | ### Consistency Checking in Requirements Analysis | |
28 | ||
29 | * authors: Jaroslav BendÃk | |
30 | * date: 2017 | |
31 | * future-topics: Requirements Engineering | |
32 | * url: https://jar-ben.github.io/papers/ISSTA2017.pdf | |
33 | ||
34 | . | |
35 | ||
36 | ### Automated Consistency Checking of Requirements Specifications | |
37 | ||
38 | * authors: Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw | |
39 | * date: 1996 | |
40 | * future-topics: Requirements Engineering | |
41 | * url: https://apps.dtic.mil/sti/tr/pdf/ADA465574.pdf | |
42 | ||
43 | . | |
44 | ||
45 | ### Automatic program generation from specifications using PROLOG | |
18 | 46 | |
19 | 47 | * authors: Alex Pelin, Pau Morrow |
20 | 48 | * date: 1988 |
21 | 49 | * url: https://archive.org/details/nasa_techdoc_19880014812 |
22 | 50 | * publication: NASA Technical Documents |
23 | 51 | * topics: Formal Specification, Prolog |
52 | * future-topics: Program Generation | |
24 | 53 | |
25 | 54 | . |
26 | 55 |
37 | 37 | |
38 | 38 | [The role of formalism in system requirements (full version)](https://arxiv.org/abs/1911.02564) |
39 | 39 | |
40 | [Automatic program generation from specifications using PROLOG : Pelin, Alex : Free Download, Borrow, and Streaming : Internet Archive](https://archive.org/details/nasa_techdoc_19880014812) | |
40 | [Consistency Checking of Functional Requirements](https://arxiv.org/abs/1804.10486) | |
41 | ||
42 | [Consistency Checking in Requirements Analysis](https://jar-ben.github.io/papers/ISSTA2017.pdf) | |
43 | ||
44 | [Automated Consistency Checking of Requirements Specifications](https://apps.dtic.mil/sti/tr/pdf/ADA465574.pdf) | |
45 | ||
46 | [Automatic program generation from specifications using PROLOG](https://archive.org/details/nasa_techdoc_19880014812) | |
41 | 47 | |
42 | 48 | Syntactic Theories in Practice (online @ [tidsskrift.dk](https://tidsskrift.dk/brics/article/view/21721)) |
43 | 49 |
80 | 80 | |
81 | 81 | . |
82 | 82 | |
83 | ### Automatic program generation from specifications using PROLOG : Pelin, Alex : Free Download, Borrow, and Streaming : Internet Archive | |
83 | ### Consistency Checking of Functional Requirements | |
84 | ||
85 | * rating: TODO | |
86 | ||
87 | . | |
88 | ||
89 | ### Consistency Checking in Requirements Analysis | |
90 | ||
91 | * rating: TODO | |
92 | ||
93 | . | |
94 | ||
95 | ### Automated Consistency Checking of Requirements Specifications | |
96 | ||
97 | * rating: TODO | |
98 | ||
99 | . | |
100 | ||
101 | ### Automatic program generation from specifications using PROLOG | |
84 | 102 | |
85 | 103 | * rating: 1 |
86 | 104 |
5 | 5 | |
6 | 6 | SPDX-License-Identifier: CC0-1.0 |
7 | 7 | --> |
8 | ||
9 | ### Lecture Notes on CTL Model Checking | |
10 | ||
11 | * date: 2022 | |
12 | * authors: Matt Fredrikson | |
13 | * format: lecture-notes | |
14 | * url: https://www.cs.cmu.edu/~15414/s23/s22/lectures/23-ctl.pdf | |
15 | ||
16 | . | |
8 | 17 | |
9 | 18 | ### Model Checking CTL is Almost Always Inherently Sequential |
10 | 19 |
13 | 13 | |
14 | 14 | ### Web resources |
15 | 15 | |
16 | [Lecture Notes on CTL Model Checking - 23-ctl.pdf](https://www.cs.cmu.edu/~15414/s23/s22/lectures/23-ctl.pdf) | |
17 | ||
18 | 16 | [Alloy (specification language) - Wikipedia](https://en.wikipedia.org/wiki/Alloy_(specification_language)) |
19 | 17 | |
20 | 18 | [multi tasking - Help understanding Petersons Algorithm for N Processes - Computer Science Stack Exchange](https://cs.stackexchange.com/questions/164777/help-understanding-petersons-algorithm-for-n-processes) |
21 | 19 | |
22 | 20 | [Sally by SRI-CSL](https://sri-csl.github.io/sally/) |
23 | 21 | |
22 | [The Omega Library Interface Guide](https://www.cs.umd.edu/projects/omega/interface_doc/interface.html) | |
23 | ||
24 | [Getting started with SMV](https://santos.cs.ksu.edu/smv-doc/tutorial/tutorial.html) | |
25 | ||
24 | 26 | ### Papers |
27 | ||
28 | [Lecture Notes on CTL Model Checking](https://www.cs.cmu.edu/~15414/s23/s22/lectures/23-ctl.pdf) | |
25 | 29 | |
26 | 30 | [Model Checking CTL is Almost Always Inherently Sequential](https://arxiv.org/abs/1103.4990) |
27 | 31 |
5 | 5 | |
6 | 6 | SPDX-License-Identifier: CC0-1.0 |
7 | 7 | --> |
8 | ||
9 | ### Lecture Notes on CTL Model Checking - 23-ctl.pdf | |
10 | ||
11 | * url: https://www.cs.cmu.edu/~15414/s23/s22/lectures/23-ctl.pdf | |
12 | ||
13 | . | |
14 | 8 | |
15 | 9 | ### Alloy (specification language) - Wikipedia |
16 | 10 | |
31 | 25 | * associated-repo-url: https://github.com/SRI-CSL/sally |
32 | 26 | |
33 | 27 | . |
28 | ||
29 | ### The Omega Library Interface Guide | |
30 | ||
31 | * url: https://www.cs.umd.edu/projects/omega/interface_doc/interface.html | |
32 | ||
33 | . | |
34 | ||
35 | ### Getting started with SMV | |
36 | ||
37 | * url: https://santos.cs.ksu.edu/smv-doc/tutorial/tutorial.html | |
38 | ||
39 | . |
53 | 53 | > is given by loops or deadlocks. A search in depth increases the odds to |
54 | 54 | > find quickly those features. |
55 | 55 | |
56 | ### Lecture Notes on CTL Model Checking - 23-ctl.pdf | |
56 | ### Lecture Notes on CTL Model Checking | |
57 | 57 | |
58 | 58 | * rating: 1 |
59 | 59 | |
70 | 70 | * rating: 1 |
71 | 71 | |
72 | 72 | . |
73 | ||
74 | ### The Omega Library Interface Guide | |
75 | ||
76 | * rating: 1 | |
77 | ||
78 | . | |
79 | ||
80 | ### Getting started with SMV | |
81 | ||
82 | * rating: 1 | |
83 | ||
84 | . |