L. de Alfaro
P. Godefroid
R. Jagadeesan
2004
Three-Valued Abstractions of Games: Uncertainty, but with Precision
LICS
170–179
10.1109/LICS.2004.1319611
E. M. Clarke
O. Grumberg
D. E. Long
1992
Model Checking and Abstraction
POPL
342–354
10.1145/143165.143235
E. M. Clarke, Jr.
O. Grumberg
D. A. Peled
1999
Model checking
MIT Press
Cambridge, MA, USA
E.M. Clarke
O. Grumberg
S. Jha
Y. Lu
H. Veith
2003
Counterexample-guided abstraction refinement for symbolic model checking
J. ACM
50
5
752–794
10.1145/876638.876643
P. Cousot
R. Cousot
1977
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints
POPL
238–252
10.1145/512950.512973
D. Dams
R. Gerth
O. Grumberg
1997
Abstract interpretation of reactive systems
ACM Trans. Program. Lang. Syst.
19
2
253–291
10.1145/244795.244800
D. Dams
K. S. Namjoshi
2004
The Existence of Finite Abstractions for Branching Time Model Checking
LICS
335–344
10.1109/LICS.2004.1319628
D. Dams
K.S. Namjoshi
2005
Automata as Abstractions
VMCAI
LNCS
3385
216–232
10.1007/978-3-540-30579-8_15
H. Fecher
D. de Frutos-Escrig
G. Luttgen
H. Schmidt
2009
On the Expressiveness of Refinement Settings
FSEN
LNCS
5961
276–291
10.1007/978-3-642-11623-0_16
H. Fecher
S. Shoham
2011
Local abstraction-refinement for the μ-calculus
STTT
13
4
289–306
10.1007/s10009-011-0202-1
P. Godefroid
R. Jagadeesan
2003
On the Expressiveness of 3-Valued Models
VMCAI
206–222
10.1007/3-540-36384-X_18
A. Gurfinkel
M. Chechik
2005
How Thorough Is Thorough Enough?
Dominique Borrione
Wolfgang J. Paul
CHARME
Lecture Notes in Computer Science
3725
Springer
65–80
10.1007/11560548_8
M. Huth
R. Jagadeesan
D.A. Schmidt
2001
Modal Transition Systems: A Foundation for Three-Valued Program Analysis
ESOP
LNCS
2028
155–169
10.1007/3-540-45309-1_11
K. G. Larsen
U. Nyman
Andrzej Wasowski
2007
On Modal Refinement and Consistency
Luís Caires
Vasco Thudichum Vasconcelos
CONCUR
Lecture Notes in Computer Science
4703
Springer
105–119
10.1007/978-3-540-74407-8_8
K. G. Larsen
B. Thomsen
1988
A Modal Process Logic
LICS
IEEE Computer Society
203–210
10.1109/LICS.1988.5119
K. G. Larsen
L. Xinxin
1990
Equation Solving Using Modal Transition Systems
LICS
108–117
10.1109/LICS.1990.113738
S. Shoham
O. Grumberg
2004
Monotonic Abstraction-Refinement for CTL
TACAS
LNCS
2988
546–560
10.1007/978-3-540-24730-2_40
S. Shoham
O. Grumberg
2008
3-Valued abstraction: More precision at less cost
Inf. Comput.
206
11
1313–1333
10.1016/j.ic.2008.07.004
O. Wei
A. Gurfinkel
M. Chechik
2011
On the consistency, expressiveness, and precision of partial modeling formalisms
Inf. Comput.
209
1
20–47
10.1016/j.ic.2010.08.001