-
3
-
-
84947232436
-
Bebop: A symbolic model checker for boolean programs
-
Thomas Ball and Sriram K. Rajamani. Bebop: A symbolic model checker for boolean programs. In SPIN, pages 113-130, 2000.
-
(2000)
SPIN
, pp. 113-130
-
-
Ball, T.1
Rajamani, S.K.2
-
4
-
-
0034963556
-
Model checking security properties of control flow graphs
-
F. Besson, T. Jensen, D. Le Métayer, and T. Thorn. Model checking security properties of control flow graphs. J. Computer Security, 9:217-250, 2001.
-
(2001)
J. Computer Security
, vol.9
, pp. 217-250
-
-
Besson, F.1
Jensen, T.2
Le Métayer, D.3
Thorn, T.4
-
6
-
-
0012626037
-
Verification on infinite structures
-
S. Smolka J. Bergstra, A. Pons, editor, North-Holland
-
O. Burkart, D. Caucal, F. Moller, , and B. Steffen. Verification on infinite structures. In S. Smolka J. Bergstra, A. Pons, editor, Handbook on Process Algebra. North-Holland, 2001.
-
(2001)
Handbook on Process Algebra
-
-
Burkart, O.1
Caucal, D.2
Moller, F.3
Steffen, B.4
-
7
-
-
0038349200
-
MOPS: An infrastructure for examining security properties of software
-
Washington, DC, November 18-22
-
Hao Chen and David Wagner. MOPS: an infrastructure for examining security properties of software. In Proceedings of the 9th ACM Conference on Computer and Communications Security, pages 235-244, Washington, DC, November 18-22, 2002.
-
(2002)
Proceedings of the 9th ACM Conference on Computer and Communications Security
, pp. 235-244
-
-
Chen, H.1
Wagner, D.2
-
11
-
-
85010943862
-
On the decidability of model checking for several mu-calculi and Petri nets
-
Lecture. Notes in Computer Science
-
J. Esparza. On the decidability of model checking for several mu-calculi and Petri nets. In Proceeding of CAAP '94, volume 787 of Lecture. Notes in Computer Science, 1994.
-
(1994)
Proceeding of CAAP '94
, vol.787
-
-
Esparza, J.1
-
17
-
-
49049126479
-
Results on the propositional mu-calculus
-
December
-
Dexter Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27:333-354, December 1983.
-
(1983)
Theoretical Computer Science
, vol.27
, pp. 333-354
-
-
Kozen, D.1
-
18
-
-
1142263318
-
An effective theory of type refinements
-
Uppsala, Sweden, August
-
Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. In Proceedings of the the Eighth ACM SIGPLAN International Conference on Functional Programming (ICFP'03), Uppsala, Sweden, August 2003.
-
(2003)
Proceedings of the the Eighth ACM SIGPLAN International Conference on Functional Programming (ICFP'03)
-
-
Mandelbaum, Y.1
Walker, D.2
Harper, R.3
-
19
-
-
84945270736
-
A systematic approach to static access control
-
David Sands, editor, Lecture Notes in Computer Science, Springer Verlag, April
-
François Pottier, Christian Skalka, and Scott Smith. A systematic approach to static access control. In David Sands, editor, Proceedings of the 10th European Symposium on Programming (ESOP'01), volume 2028 of Lecture Notes in Computer Science, pages 30-45. Springer Verlag, April 2001.
-
(2001)
Proceedings of the 10th European Symposium on Programming (ESOP'01)
, vol.2028
, pp. 30-45
-
-
Pottier, F.1
Skalka, C.2
Smith, S.3
-
23
-
-
85029621995
-
Model checking for context-free processes
-
Stony Brook (NY), Lecture Notes in Computer Science (LNCS), Heidelberg, Germany, Springer-Verlag
-
B. Steffen and O. Burkart. Model checking for context-free processes. In CONCUR'92, Stony Brook (NY), volume 630 of Lecture Notes in Computer Science (LNCS), pages 123-137, Heidelberg, Germany, 1992. Springer-Verlag.
-
(1992)
CONCUR'92
, vol.630
, pp. 123-137
-
-
Steffen, B.1
Burkart, O.2
-
24
-
-
35048836647
-
Singleton types and singleton kinds
-
Carnegie Mellon University
-
Chris Stone. Singleton types and singleton kinds. Technical Report CMU-CS-00-153, Carnegie Mellon University, 2000.
-
(2000)
Technical Report CMU-CS-00-153
-
-
Stone, C.1
-
25
-
-
0026881754
-
The type and effect discipline
-
Los Alamitos, California, IEEE Computer Society Press
-
Jean-Pierre Talpin and Pierre Jouvelot. The type and effect discipline. In Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, pages 162-173, Los Alamitos, California, 1992. IEEE Computer Society Press.
-
(1992)
Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California
, pp. 162-173
-
-
Talpin, J.-P.1
Jouvelot, P.2
|