-
1
-
-
34547312842
-
-
S. Shoham, O. Grumberg, 3-valued abstraction: more precision at less cost, in: Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS), Seattle, Washington, 2006, pp. 399-410.
-
S. Shoham, O. Grumberg, 3-valued abstraction: more precision at less cost, in: Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS), Seattle, Washington, 2006, pp. 399-410.
-
-
-
-
3
-
-
84957073398
-
-
G. Bruns, P. Godefroid, Model checking partial state spaces with 3-valued temporal logics, in: Computer Aided Verification, 1999, pp. 274-287.
-
G. Bruns, P. Godefroid, Model checking partial state spaces with 3-valued temporal logics, in: Computer Aided Verification, 1999, pp. 274-287.
-
-
-
-
4
-
-
53449091629
-
-
D. Kozen, Results on the Propositional μ-Calculus, TCS 27.
-
D. Kozen, Results on the Propositional μ-Calculus, TCS 27.
-
-
-
-
5
-
-
85008979790
-
Modal specifications
-
Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France. Sifakis J. (Ed), Springer-Verlag
-
Larsen K.G. Modal specifications. In: Sifakis J. (Ed). Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France. LNCS vol. 407 (1989), Springer-Verlag
-
(1989)
LNCS
, vol.407
-
-
Larsen, K.G.1
-
7
-
-
0031102750
-
-
D. Dams, R. Gerth, O. Grumberg, Abstract interpretation of reactive systems, ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (2).
-
D. Dams, R. Gerth, O. Grumberg, Abstract interpretation of reactive systems, ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (2).
-
-
-
-
8
-
-
21144457342
-
Abstraction for branching time properties
-
Proceedings of the 15th International Conference on Computer Aided Verification (CAV'03), Springer, Boulder, CO, USA
-
Namjoshi K. Abstraction for branching time properties. Proceedings of the 15th International Conference on Computer Aided Verification (CAV'03). LNCS vol. 2725 (2003), Springer, Boulder, CO, USA 288-300
-
(2003)
LNCS
, vol.2725
, pp. 288-300
-
-
Namjoshi, K.1
-
9
-
-
4544379156
-
The existence of finite abstractions for branching time model checking
-
IEEE Computer Society
-
Dams D., and Namjoshi K. The existence of finite abstractions for branching time model checking. 19th IEEE Symposium on Logic in Computer Science (LICS) (2004), IEEE Computer Society 335-344
-
(2004)
19th IEEE Symposium on Logic in Computer Science (LICS)
, pp. 335-344
-
-
Dams, D.1
Namjoshi, K.2
-
11
-
-
35048842322
-
-
S. Shoham, O. Grumberg, Monotonic abstraction-refinement for CTL, in: 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol. 2988, LNCS, Barcelona, Spain, 2004, pp. 546-560.
-
S. Shoham, O. Grumberg, Monotonic abstraction-refinement for CTL, in: 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol. 2988, LNCS, Barcelona, Spain, 2004, pp. 546-560.
-
-
-
-
14
-
-
85015334941
-
Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
-
Proceedings of the Conference on Programming Language Implementation and Logic Programming (PLILP'92), Springer-Verlag
-
Cousot P., and Cousot R. Comparing the Galois connection and widening/narrowing approaches to abstract interpretation. Proceedings of the Conference on Programming Language Implementation and Logic Programming (PLILP'92). LNCS vol. 631 (1992), Springer-Verlag 269-295
-
(1992)
LNCS
, vol.631
, pp. 269-295
-
-
Cousot, P.1
Cousot, R.2
-
15
-
-
4544362741
-
-
R. Cleaveland, P. Iyer, D. Yankelevich, Optimality in abstraction of model checking, in: Static Analysis Symposium (SAS), 1995, pp. 51-63.
-
R. Cleaveland, P. Iyer, D. Yankelevich, Optimality in abstraction of model checking, in: Static Analysis Symposium (SAS), 1995, pp. 51-63.
-
-
-
-
16
-
-
35048852086
-
-
D.A. Schmidt, Closed and logical relations for over- and under-approximation of powersets, in: Static Analysis Symposium (SAS), 2004, pp. 22-37.
-
D.A. Schmidt, Closed and logical relations for over- and under-approximation of powersets, in: Static Analysis Symposium (SAS), 2004, pp. 22-37.
-
-
-
-
17
-
-
53449088510
-
-
A. Gurfinkel, O. Wei, M. Chechik, Systematic construction of abstractions for model-checking, in: Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 2006.
-
A. Gurfinkel, O. Wei, M. Chechik, Systematic construction of abstractions for model-checking, in: Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 2006.
-
-
-
-
18
-
-
85050550846
-
-
P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: popl4, Los Angeles, California, 1977, pp. 238-252.
-
P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: popl4, Los Angeles, California, 1977, pp. 238-252.
-
-
-
-
19
-
-
53449087654
-
-
P. Godefroid, M. Huth, R. Jagadeesan, Abstraction-based model checking using modal transition systems, in: Proceedings of CONCUR'01, 2001.
-
P. Godefroid, M. Huth, R. Jagadeesan, Abstraction-based model checking using modal transition systems, in: Proceedings of CONCUR'01, 2001.
-
-
-
-
20
-
-
84885220303
-
-
G. Bruns, P. Godefroid, Generalized model checking: reasoning about partial state spaces, in: CONCUR'00, vol. 1877, 2000, pp. 168-182.
-
G. Bruns, P. Godefroid, Generalized model checking: reasoning about partial state spaces, in: CONCUR'00, vol. 1877, 2000, pp. 168-182.
-
-
-
-
21
-
-
84937565742
-
Automatic abstraction using generalized model checking
-
Proceedings of Conference on Computer-Aided Verification (CAV), Springer-Verlag, Copenhagen, Denmark
-
Godefroid P., and Jagadeesan R. Automatic abstraction using generalized model checking. Proceedings of Conference on Computer-Aided Verification (CAV). LNCS vol. 2404 (2002), Springer-Verlag, Copenhagen, Denmark 137-150
-
(2002)
LNCS
, vol.2404
, pp. 137-150
-
-
Godefroid, P.1
Jagadeesan, R.2
-
22
-
-
26444557984
-
-
C.S. Pasareanu, R. Pelánek, W. Visser, Concrete model checking with abstract matching and refinement, in: Computer Aided Verification (CAV), 2005, pp. 52-66.
-
C.S. Pasareanu, R. Pelánek, W. Visser, Concrete model checking with abstract matching and refinement, in: Computer Aided Verification (CAV), 2005, pp. 52-66.
-
-
-
-
23
-
-
84972541021
-
A lattice-theoretical fixpoint theorem and its applications
-
Tarski A. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5 (1955) 285-309
-
(1955)
Pacific Journal of Mathematics
, vol.5
, pp. 285-309
-
-
Tarski, A.1
-
24
-
-
35048831379
-
-
M. Huth, R. Jagadeesan, D. Schmidt, Modal transition systems: a foundation for three-valued program analysis, in: European Symposium on Programming (ESOP'01), vol. 2028, 2001, pp. 155-169.
-
M. Huth, R. Jagadeesan, D. Schmidt, Modal transition systems: a foundation for three-valued program analysis, in: European Symposium on Programming (ESOP'01), vol. 2028, 2001, pp. 155-169.
-
-
-
-
25
-
-
35248847830
-
On the expressiveness of 3-valued models
-
Proceedings of VMCAI'2003 (4th Conference on Verification, Model Checking and Abstract Interpretation), Springer-Verlag, New York
-
Godefroid P., and Jagadeesan R. On the expressiveness of 3-valued models. Proceedings of VMCAI'2003 (4th Conference on Verification, Model Checking and Abstract Interpretation). LNCS vol. 2575 (2003), Springer-Verlag, New York 206-222
-
(2003)
LNCS
, vol.2575
, pp. 206-222
-
-
Godefroid, P.1
Jagadeesan, R.2
-
26
-
-
0018294932
-
Systematic design of program analysis frameworks
-
ACM, New York, NY, USA
-
Cousot P., and Cousot R. Systematic design of program analysis frameworks. Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) (1979), ACM, New York, NY, USA 269-282
-
(1979)
Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)
, pp. 269-282
-
-
Cousot, P.1
Cousot, R.2
-
28
-
-
84890021811
-
Incompleteness, counterexamples, and refinements in abstract model checking
-
Static Analysis Symposium (SAS), Springer-Verlag
-
Giacobazzi R., and Quintarelli E. Incompleteness, counterexamples, and refinements in abstract model checking. Static Analysis Symposium (SAS). LNCS vol. 2126 (2001), Springer-Verlag 356-373
-
(2001)
LNCS
, vol.2126
, pp. 356-373
-
-
Giacobazzi, R.1
Quintarelli, E.2
-
29
-
-
33845957914
-
Comparing completeness properties of static analyses and their logics
-
Asian Symp. Prog. Lang. Systems (APLAS'06), Springer-Verlag
-
Schmidt D. Comparing completeness properties of static analyses and their logics. Asian Symp. Prog. Lang. Systems (APLAS'06). LNCS vol. 4279 (2006), Springer-Verlag 183-199
-
(2006)
LNCS
, vol.4279
, pp. 183-199
-
-
Schmidt, D.1
-
30
-
-
35048869628
-
Strong preservation as completeness in abstract interpretation
-
Proceedings of the European Symposium Programming, Springer-Verlag
-
Ranzato F., and Tapparo F. Strong preservation as completeness in abstract interpretation. Proceedings of the European Symposium Programming. LNCS vol. 2986 (2004), Springer-Verlag 18-32
-
(2004)
LNCS
, vol.2986
, pp. 18-32
-
-
Ranzato, F.1
Tapparo, F.2
-
31
-
-
33745655227
-
Strong preservation of temporal fixpoint-based operators by abstract interpretation
-
Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), Springer-Verlag
-
Ranzato F., and Tapparo F. Strong preservation of temporal fixpoint-based operators by abstract interpretation. Conference on Verification, Model Checking and Abstract Interpretation (VMCAI). LNCS vol. 3855 (2006), Springer-Verlag 332-347
-
(2006)
LNCS
, vol.3855
, pp. 332-347
-
-
Ranzato, F.1
Tapparo, F.2
-
32
-
-
35248892961
-
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
-
Proceedings of the 15th International Conference on Computer Aided Verification (CAV'03), Springer, Boulder, CO, USA (to appear in TOCL)
-
Shoham S., and Grumberg O. A game-based framework for CTL counterexamples and 3-valued abstraction-refinement. Proceedings of the 15th International Conference on Computer Aided Verification (CAV'03). LNCS vol. 2725 (2003), Springer, Boulder, CO, USA 275-287 (to appear in TOCL)
-
(2003)
LNCS
, vol.2725
, pp. 275-287
-
-
Shoham, S.1
Grumberg, O.2
|