-
1
-
-
0037917924
-
An overview of sal
-
C. M. Holloway, editor
-
S. Bensalem, V. Ganesh, Y. Lakhnech, C. Muñoz, S. Owre, H. Rueß, J. Rushby, V. Rusu, H. Saïdi, N. Shankar, E. Singerman, and A. Ti-wari. An overview of SAL. In C. M. Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187-196, 2000. Available at http://shemesh.larc.nasa.gov/fm/Lfm2000/Proc/.
-
(2000)
LFM 2000: Fifth NASA Langley Formal Methods Workshop
, pp. 187-196
-
-
Bensalem, S.1
Ganesh, V.2
Lakhnech, Y.3
Muñoz, C.4
Owre, S.5
Rueß, H.6
Rushby, J.7
Rusu, V.8
Saïdi, H.9
Shankar, N.10
Singerman, E.11
Ti-Wari, A.12
-
3
-
-
84863928730
-
Computing abstractions of infinite state systems compositionally and automatically
-
Springer Verlag, June
-
S. Bensalem, Y. Lakhnech, and S. Owre. Computing abstractions of infinite state systems compositionally and automatically. In Proc. of the 9th Conference on Computer-Aided Verification, CAV7 98, LNCS. Springer Verlag, June 1998.
-
(1998)
Proc. of the 9th Conference on Computer-Aided Verification, CAV7 98, LNCS
-
-
Bensalem, S.1
Lakhnech, Y.2
Owre, S.3
-
4
-
-
84957363964
-
Powerful techniques for the automatic generation of invariants
-
R. Alur and T. A. Henzinger, editors, Springer-Verlag
-
S. Bensalem, Y. Lakhnech, and H. Saïdi. Powerful techniques for the automatic generation of invariants. In R. Alur and T. A. Henzinger, editors, Computer-Aided Verification, CAV 796, number 1102 in LNCS, pages 323-335. Springer-Verlag, 1996.
-
(1996)
Computer-Aided Verification, CAV 796, Number 1102 in LNCS
, pp. 323-335
-
-
Bensalem, S.1
Lakhnech, Y.2
Saïdi, H.3
-
7
-
-
0028513196
-
Model checking and abstraction
-
September
-
E. M. Clarke, O. Grumberg, and D. E. Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512-1542, September 1994.
-
(1994)
ACM Transactions on Programming Languages and Systems
, vol.16
, Issue.5
, pp. 1512-1542
-
-
Clarke, E.M.1
Grumberg, O.2
Long, D.E.3
-
8
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fìxpoints
-
January
-
P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fìxpoints. In 4th POPL, January 1977.
-
(1977)
4th POPL
-
-
Cousot, P.1
Cousot, R.2
-
9
-
-
85015334941
-
Comparing the galois connection and widening/narrowing approaches to abstract interpretation
-
M. Bruynooghe and M. Wirsing, editors, Berlin, Springer-Verlag
-
P. Cousot and R. Cousot. Comparing the Galois connection and widening/narrowing approaches to abstract interpretation. In M. Bruynooghe and M. Wirsing, editors, Proc. of the 4th Intl. Symposium on Programming Language Implementation and Logic Programming (PLILP 792), volume 631 of LNCS, pages 269-295, Berlin, 1992. Springer-Verlag.
-
(1992)
Proc. of the 4th Intl. Symposium on Programming Language Implementation and Logic Programming (PLILP 792), Volume 631 of LNCS
, pp. 269-295
-
-
Cousot, P.1
Cousot, R.2
-
12
-
-
0016941016
-
Logical analysis of programs
-
April
-
S. Katz and Z. Manna. Logical analysis of programs. Communications of the ACM, 19(4): 188-206, April 1976.
-
(1976)
Communications of the ACM
, vol.19
, Issue.4
, pp. 188-206
-
-
Katz, S.1
Manna, Z.2
-
13
-
-
0019025562
-
The 'hoare logic' of concurrent programs
-
L. Lamport. The 'Hoare logic' of concurrent programs. In Act a Informatica 14, pages 21-37, 1980.
-
(1980)
Act A Informatica
, vol.14
, pp. 21-37
-
-
Lamport, L.1
-
14
-
-
0029207880
-
Property preserving abstractions for the verification of concurrent systems
-
January
-
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6(1), January 1995.
-
(1995)
Formal Methods in System Design
, vol.6
, Issue.1
-
-
Loiseaux, C.1
Graf, S.2
Sifakis, J.3
Bouajjani, A.4
Bensalem, S.5
-
16
-
-
0017173886
-
An axiomatic proof technique for parallel programs
-
S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Act a Informatica, 6:319-340, 1976.
-
(1976)
Act A Informatica
, vol.6
, pp. 319-340
-
-
Owicki, S.1
Gries, D.2
|