-
2
-
-
0028413052
-
A theory of timed automata
-
URL
-
Alur R., Dill D.L. A theory of timed automata. Theoretical Computer Science. 126:1994;183-235. URL http://citeseer.nj.nec.com/alur94theory.html
-
(1994)
Theoretical Computer Science
, vol.126
, pp. 183-235
-
-
Alur, R.1
Dill, D.L.2
-
3
-
-
84894619258
-
Distributed LTL model-checking in SPIN
-
URL
-
Barnat J., Brim L., Stríbřná J. Distributed LTL model-checking in SPIN. in: SPIN. 2001;200-216. URL http://citeseer.nj.nec.com/ article/barnat00distributed.html
-
(2001)
In: SPIN
, pp. 200-216
-
-
Barnat, J.1
Brim, L.2
Stríbřná, J.3
-
4
-
-
84944389561
-
Distributing timed model checking - How the search order matters
-
URL
-
Behrmann G., Hune T., Vaandrager F.W. Distributing timed model checking - how the search order matters. Computer Aided Verification LNCS. 1855:2000;216-231. URL http://citeseer.nj.nec.com/behrmann00distributing.html
-
(2000)
Computer Aided Verification LNCS
, vol.1855
, pp. 216-231
-
-
Behrmann, G.1
Hune, T.2
Vaandrager, F.W.3
-
6
-
-
18944364169
-
On improving backwards verification for timed automata
-
URL
-
Braberman V., Pombo C.López., Olivero A. On improving backwards verification for timed automata. TPTS 2002, satellite event for the Joint European Conference on Theory and Practice of Software, ETAPS 2002 ENTCS. 65:2002;. URL http://www.elsevier.com/locate/entcs/volume65.html
-
(2002)
TPTS 2002, Satellite Event for the Joint European Conference on Theory and Practice of Software, ETAPS 2002 ENTCS
, vol.65
-
-
Braberman, V.1
López, P.C.2
Olivero, A.3
-
8
-
-
40149092144
-
The Tool KRONOS, in: Proceedings of Hybrid Systems III
-
Daws C., Olivero A., Tripakis S., Yovine S. The Tool KRONOS, in: Proceedings of Hybrid Systems III. LNCS. 1066:1996;208-219
-
(1996)
LNCS
, vol.1066
, pp. 208-219
-
-
Daws, C.1
Olivero, A.2
Tripakis, S.3
Yovine, S.4
-
11
-
-
84894629087
-
Parallel state space construction for model-checking
-
M.B. Dwyer. Toronto, Canada URL
-
Garavel H., Mateescu R., Smarandache I.M. Parallel state space construction for model-checking. in: Dwyer M.B. Proc. of the 8th International SPIN Workshop. 2001;217-234. Toronto, Canada URL http://citeseer.nj.nec.com/ 474094.html
-
(2001)
Proc. of the 8th International SPIN Workshop
, pp. 217-234
-
-
Garavel, H.1
Mateescu, R.2
Smarandache, I.M.3
-
14
-
-
84944382125
-
Achieving scalability in parallel reachability analysis of very large circuits
-
Grumberg O. URL
-
Heyman T., Geist D., Grumberg O., Schuster A. Achieving scalability in parallel reachability analysis of very large circuits. in: Grumberg O. Computer Aided Verification, 12th International Conference LNCS. 1855:2000;20-35. URL http://citeseer.nj.nec.com/heyman00achieving.html
-
(2000)
Computer Aided Verification, 12th International Conference LNCS
, vol.1855
, pp. 20-35
-
-
Heyman, T.1
Geist, D.2
Grumberg, O.3
Schuster, A.4
-
20
-
-
84947425596
-
Parallelizing the Murφ verifier
-
URL
-
Stern U., Dill D.L. Parallelizing the Murφ verifier. in: Computer Aided Verification LNCS. 1254:1997;256-278. URL http://citeseer.nj.nec.com/ stern97parallelizing.html
-
(1997)
In: Computer Aided Verification LNCS
, vol.1254
, pp. 256-278
-
-
Stern, U.1
Dill, D.L.2
|