22:
38:
Presenting Unity only as a programming language is weird. Its first half can be viewed as a specification language in the sense of SDL. But is is also a linear temporal logic with some axiomatized basic operators and a coherent set of proof rules. The whole is best defined as a programming
42:
A better presentation might be to start with the program notation, then go to the temporal logic and the inference rule and then show a short proof of correctness.
58:
29:
78:
46:
54:
50:
62:
72:
15:
28:
This article has not yet been rated on
Knowledge (XXG)'s
8:
21:
19:
7:
14:
20:
1:
63:16:21, 7 October 2013 (UTC)
95:
79:Unassessed articles
30:content assessment
66:
49:comment added by
36:
35:
86:
65:
43:
25:
24:
23:
16:
94:
93:
89:
88:
87:
85:
84:
83:
69:
68:
44:
12:
11:
5:
92:
90:
82:
81:
71:
70:
34:
33:
26:
13:
10:
9:
6:
4:
3:
2:
91:
80:
77:
76:
74:
67:
64:
60:
56:
52:
48:
40:
39:methodology.
31:
27:
18:
17:
45:— Preceding
41:
37:
51:Cipher1024
73:Category
59:contribs
47:unsigned
32:scale.
55:talk
75::
61:)
57:•
53:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.