-
3
-
-
84944407299
-
Symbolic techniques for parametric reasoning about counter and clock systems
-
Springer-Verlag
-
A. Annichini, E. Asarin, and A. Bouajjani. Symbolic techniques for parametric reasoning about counter and clock systems. In Proc. 12th Int. Conference on Computer Aided Verification, LNCS 1855, pages 419-434. Springer-Verlag, 2000.
-
(2000)
Proc. 12th Int. Conference on Computer Aided Verification, LNCS 1855
, pp. 419-434
-
-
Annichini, A.1
Asarin, E.2
Bouajjani, A.3
-
5
-
-
84863918586
-
Kro-nos: A model-checking tool for real-time systems
-
Springer-Verlag, June/July
-
M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. Kro-nos: A Model-Checking Tool for Real-Time Systems. In Proc, 10th Int. Conference on Computer Aided Verification, LNCS 1427, pages 546-550. Springer-Verlag, June/July 1998.
-
(1998)
Proc, 10th Int. Conference on Computer Aided Verification, LNCS 1427
, pp. 546-550
-
-
Bozga, M.1
Daws, C.2
Maler, O.3
Olivero, A.4
Tripakis, S.5
Yovine, S.6
-
7
-
-
84958770017
-
The bounded retransmission protocol must be on time!
-
Springer-Verlag, April
-
P.R. D'Argenio, J.-P. Katoen, T.C. Ruys, and J. Tretmans. The bounded retransmission protocol must be on time! In Proc, Third Workshop on Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1217, pages 416-431. Springer-Verlag, April 1997.
-
(1997)
Proc, Third Workshop on Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1217
, pp. 416-431
-
-
D'Argenio, P.R.1
Katoen, J.-P.2
Ruys, T.C.3
Tretmans, J.4
-
9
-
-
84947423533
-
HYTECH: A model checker for hybrid systems
-
Springer-Verlag
-
T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. HYTECH: A Model Checker for Hybrid Systems. In Proc. 9th Int. Conference on Computer Aided Verification, LNCS 1254, pages 460-463. Springer-Verlag, 1997.
-
(1997)
Proc. 9th Int. Conference on Computer Aided Verification, LNCS 1254
, pp. 460-463
-
-
Henzinger, T.A.1
Ho, P.-H.2
Wong-Toi, H.3
-
10
-
-
34548840472
-
-
Report CSI-R0102, CSI, University of Nijmegen, January
-
T.S. Hune, J.M.T. Romijn, M.I.A. Stoelinga, and F.W. Vaandrager. Linear parametric model checking of timed automata. Report CSI-R0102, CSI, University of Nijmegen, January 2001.
-
(2001)
Linear Parametric Model Checking of Timed Automata
-
-
Hune, T.S.1
Romijn, J.M.T.2
Stoelinga, M.I.A.3
Vaandrager, F.W.4
-
11
-
-
84896693115
-
UPPAAL in a nutshell
-
October
-
K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. Int. lournal on Software Tools for Technology Transfer, 1(1-2): 134-152, October 1997.
-
(1997)
Int. Lournal on Software Tools for Technology Transfer
, vol.1
, Issue.1-2
, pp. 134-152
-
-
Larsen, K.G.1
Pettersson, P.2
Yi, W.3
-
12
-
-
84958598850
-
Partition refinement in real-time model checking
-
Springer-Verlag
-
R.F. Lutje Spelberg, W.J. Toetenel, and M. Ammerlaan. Partition refinement in real-time model checking. In Proc. FTRTFT'98, LNCS 1486, pages 143-157. Springer-Verlag, 1998.
-
(1998)
Proc. FTRTFT'98, LNCS 1486
, pp. 143-157
-
-
Lutje Spelberg, R.F.1
Toetenel, W.J.2
Ammerlaan, M.3
-
13
-
-
0003508787
-
Mechanical verification of the ieee 1394a root contention protocol using uppaal2k
-
CSI, University of Nijmegen, May, Conditionally accepted for STTT
-
D.P.L. Simons and M.I.A. Stoelinga. Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. Technical Report CSI-R0009, CSI, University of Nijmegen, May 2000. Conditionally accepted for STTT.
-
(2000)
Technical Report CSI-R0009
-
-
Simons, D.P.L.1
Stoelinga, M.I.A.2
-
15
-
-
84958967825
-
Model checking timed automata
-
Springer-Verlag, October
-
S. Yovine. Model checking timed automata. In Lectures on Embedded Systems, LNCS 1494, pages 114-152. Springer-Verlag, October 1998.
-
(1998)
Lectures on Embedded Systems, LNCS 1494
, pp. 114-152
-
-
Yovine, S.1
|