Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference43 articles.
1. Abdulla, P.A., Chen, Y.F., Holík, L., Mayr, R., Vojnar, T.: When simulation meets antichains (on Checking language inclusion of NFAs). In: TACAS’10, LNCS, vol. 6015, pp. 158–174. Springer (2010)
2. Basin, D., Klarlund, N.: Automata based symbolic reasoning in hardware verification. In: CAV’98, LNCS, pp. 349–361. Springer (1998)
3. Baukus, K., Bensalem, S., Lakhnech, Y., Stahl, K.: Abstracting WS1S systems to verify parameterized networks. In: TACAS’00, LNCS, vol. 1785, pp. 188–203. Springer (2000)
4. Bodeveix, J., Filali, M.: FMona: A tool for expressing validation techniques over infinite state systems. In: TACAS’00, LNCS, vol. 1785, pp. 204–219. Springer (2000)
5. Bouajjani, A., Habermehl, P., Holík, L., Touili, T., Vojnar, T.: Antichain-based universality and inclusion testing over nondeterministic finite tree automata. In: CIAA’08, LNCS, vol. 5148, pp. 57–67. Springer (2008)