-
1
-
-
84944382587
-
Minimal model generation
-
Bouajjani, A., Fernandez, J.-C. and Halbwachs, N.: Minimal model generation. In Workshop on Automatic Verification '90, volume 531 of LNCS, 1990.
-
(1990)
Workshop on Automatic Verification '90, Volume 531 of LNCS
, vol.531
-
-
Bouajjani, A.1
Fernandez, J.-C.2
Halbwachs, N.3
-
3
-
-
0024943291
-
Compositional model checking
-
Clarke, E., Long, D. and McMillan, K.: Compositional model checking. Proc. IEEE Symp. Logic in Computer Science, pages 353-362, 1989.
-
(1989)
Proc. IEEE Symp. Logic in Computer Science
, pp. 353-362
-
-
Clarke, E.1
Long, D.2
McMillan, K.3
-
5
-
-
84968322579
-
Generation of reduced models for checking fragments of CTL
-
Dams, D., Grumberg, O. and Gerth, R.: Generation of reduced models for checking fragments of CTL. In Proceedings of the International Conference on Computer-Aided Verification (CAV'93), volume 697 of LNCS, pages 479-490, 1993.
-
(1993)
Proceedings of the International Conference on Computer-Aided Verification (CAV'93), Volume 697 of LNCS
, vol.697
, pp. 479-490
-
-
Dams, D.1
Grumberg, O.2
Gerth, R.3
-
7
-
-
84929062089
-
Using partial orders for the efficient verification of deadlock freedom and safety properties
-
Godefroid, P. and Wolper, P.: Using partial orders for the efficient verification of deadlock freedom and safety properties. In Proceedings of the International Workshop on Computer-Aided Verification (CAV'91), volume 575 of LNCS, pages 332-342, 1991.
-
(1991)
Proceedings of the International Workshop on Computer-Aided Verification (CAV'91), Volume 575 of LNCS
, vol.575
, pp. 332-342
-
-
Godefroid, P.1
Wolper, P.2
-
8
-
-
0009617613
-
Compositional Minimisation of Finite State Systems Using Interface Specifications
-
Graf, S., Steffen, B. and Lüttgen, G.: Compositional Minimisation of Finite State Systems Using Interface Specifications, Formal Aspects of Computing 8(E):xxx-xxx.
-
Formal Aspects of Computing
, vol.8
, Issue.E
-
-
Graf, S.1
Steffen, B.2
Lüttgen, G.3
-
10
-
-
0029207880
-
Property preserving abstractions for the verification of concurrent systems
-
Loiseaux, C., Graf, S., Sifakis, J., Bouajjani, A. and Bensalem, S.: Property preserving abstractions for the verification of concurrent systems. Format Methods in System Design. Vol 6, Iss 1, 1995.
-
(1995)
Format Methods in System Design
, vol.6
, Issue.1
-
-
Loiseaux, C.1
Graf, S.2
Sifakis, J.3
Bouajjani, A.4
Bensalem, S.5
-
16
-
-
84921816518
-
The modular framework of computer-aided verification
-
Shurek, G. and Grumberg, O.: The modular framework of computer-aided verification. In Workshop on Automatic Verification '90, volume 531 of LNCS, pages 214-223, 1990.
-
(1990)
Workshop on Automatic Verification '90, Volume 531 of LNCS
, vol.531
, pp. 214-223
-
-
Shurek, G.1
Grumberg, O.2
-
17
-
-
3042966969
-
Heterogeneous analysis and verification for distributed systems
-
Steffen, B., Margaria, T. and Claßen, A.: Heterogeneous analysis and verification for distributed systems. Software - Concepts and Tools, 17:13-25, 1996.
-
(1996)
Software - Concepts and Tools
, vol.17
, pp. 13-25
-
-
Steffen, B.1
Margaria, T.2
Claßen, A.3
-
18
-
-
0002666723
-
Some observations on redundancy in a context
-
J.C.M. Baeten, editor, Cambridge University Press
-
Vaandrager, F. W.: Some observations on redundancy in a context. In J.C.M. Baeten, editor, Applications of Process Algebra, volume 17 of Cambridge Tracts in Theoretical Computer Science, pages 237-260. Cambridge University Press, 1990.
-
(1990)
Applications of Process Algebra, Volume 17 of Cambridge Tracts in Theoretical Computer Science
, vol.17
, pp. 237-260
-
-
Vaandrager, F.W.1
|