255:
55:
296:
80:
process for real-time systems. Some tools are available (e.g., DCVALID, IDLVALID, etc.). Subsets of duration calculus have been studied (e.g., using
325:
97:
199:
187:
289:
162:
315:
320:
282:
124:
330:
113:
243:
58:
179:
77:
39:
195:
266:
85:
262:
157:
153:
119:
51:
47:
35:
309:
175:
149:
81:
43:
227:
73:
211:
17:
130:
254:
89:
101:
191:
93:
215:
228:
IDLVALID: Model checking dense time
Duration Calculus formulae
212:
DCVALID: A tool for model-checking
Duration Calculus formulae
104:, which are major centres of excellence for the approach.
184:
Duration
Calculus: A Formal Approach to Real-Time Systems
270:
190:, Monographs in Theoretical Computer Science, An
88:). Duration calculus is especially espoused by
290:
8:
297:
283:
72:Duration calculus is mainly useful at the
244:Duration Calculus — Virtual Library entry
142:
98:Tata Institute of Fundamental Research
7:
251:
249:
269:. You can help Knowledge (XXG) by
25:
42:. It was originally developed by
253:
166:, 40(5):269–276, December 1991.
326:Formal specification languages
163:Information Processing Letters
1:
160:, A Calculus of Durations,
347:
248:
125:Temporal logic of actions
67:Provably Correct Systems
114:Interval temporal logic
265:-related article is a
59:Basic Research Action
316:Formal methods stubs
78:software development
321:1991 introductions
278:
277:
180:Michael R. Hansen
46:with the help of
40:real-time systems
28:Duration calculus
18:Duration Calculus
16:(Redirected from
338:
299:
292:
285:
257:
250:
231:
225:
219:
209:
203:
173:
167:
147:
54:on the European
21:
346:
345:
341:
340:
339:
337:
336:
335:
306:
305:
304:
303:
240:
235:
234:
226:
222:
210:
206:
188:Springer-Verlag
174:
170:
148:
144:
139:
110:
86:continuous time
23:
22:
15:
12:
11:
5:
344:
342:
334:
333:
331:Temporal logic
328:
323:
318:
308:
307:
302:
301:
294:
287:
279:
276:
275:
263:formal methods
258:
247:
246:
239:
238:External links
236:
233:
232:
230:, TIFR, India.
220:
204:
194:Series, 2003.
168:
158:Anders P. Ravn
154:C. A. R. Hoare
141:
140:
138:
135:
134:
133:
128:
122:
120:Temporal logic
117:
109:
106:
52:C. A. R. Hoare
48:Anders P. Ravn
36:interval logic
24:
14:
13:
10:
9:
6:
4:
3:
2:
343:
332:
329:
327:
324:
322:
319:
317:
314:
313:
311:
300:
295:
293:
288:
286:
281:
280:
274:
272:
268:
264:
259:
256:
252:
245:
242:
241:
237:
229:
224:
221:
217:
213:
208:
205:
201:
200:3-540-40823-1
197:
193:
189:
185:
181:
177:
176:Zhou Chaochen
172:
169:
165:
164:
159:
155:
151:
150:Zhou Chaochen
146:
143:
136:
132:
129:
126:
123:
121:
118:
115:
112:
111:
107:
105:
103:
99:
95:
91:
87:
83:
82:discrete time
79:
76:level of the
75:
70:
68:
64:
60:
57:
53:
49:
45:
44:Zhou Chaochen
41:
37:
33:
29:
19:
271:expanding it
260:
223:
207:
183:
171:
161:
145:
84:rather than
74:requirements
71:
66:
62:
31:
27:
26:
131:Modal logic
65:project on
310:Categories
137:References
218:, India.
108:See also
96:and the
90:UNU-IIST
34:) is an
198:
102:Mumbai
63:ProCoS
61:(BRA)
56:ESPRIT
261:This
192:EATCS
127:(TLA)
116:(ITL)
94:Macau
267:stub
216:TIFR
196:ISBN
178:and
156:and
50:and
38:for
100:in
92:in
312::
214:,
186:.
182:,
152:,
69:.
32:DC
298:e
291:t
284:v
273:.
202:.
30:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.