共 82 条
[11]
Boudet A., 1996, Trees in Algebra and Programming - CAAP '96. 21st International Colloquium. Proceedings, P30
[12]
Formal Design and Safety Analysis of AIR6110 Wheel Brake System
[J].
COMPUTER AIDED VERIFICATION, PT I,
2015, 9206
:518-535
[13]
Bradley A., 2015, IC3 reference implementation: a short, simple, fairly competitive implementation of IC3
[14]
Bradley AR, 2007, FMCAD 2007: FORMAL METHODS IN COMPUTER AIDED DESIGN, PROCEEDINGS, P173, DOI 10.1109/.15
[15]
Brayton R, 2010, LECT NOTES COMPUT SC, V6174, P24, DOI 10.1007/978-3-642-14295-6_5
[16]
Brzozowski J.A, 1962, P S MATH THEORY AUTO
[17]
BRZOZOWSKI JA, 1980, THEOR COMPUT SCI, V10, P19, DOI 10.1016/0304-3975(80)90069-9
[18]
Buchi J.R, 1962, P INT C LOGIC METHOD
[19]
Buchi J.R., 1990, Weak Second-Order Arithmetic and Finite Automata, P398, DOI DOI 10.1007/978-1-4613-8928-622
[20]
Cavada R, 2014, LECT NOTES COMPUT SC, V8559, P334, DOI 10.1007/978-3-319-08867-9_22