共 50 条
[31]
Kleene and Buchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices
[J].
DEVELOPMENTS IN LANGUAGE THEORY,
2010, 6224
:160-+
[34]
Automatic Construction of Complete Abstraction by Abstract Interpretation
[J].
PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE,
2009,
:927-+
[35]
Strongly preserving abstraction by complete abstract interpretation
[J].
Jisuanji Xuebao/Chinese Journal of Computers,
2014, 37 (08)
:1754-1767
[37]
Calculational Design of a Regular Model Checker by Abstract Interpretation
[J].
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2019,
2019, 11884
:3-21
[38]
Abstract Interpretation of Symbolic Execution with Explicit State Updates
[J].
FORMAL METHODS FOR COMPONENTS AND OBJECTS,
2009, 5751
:247-+