CIRC: A behavioral verification tool based on circular coinduction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5728 LNCS, Issue , 2009, Pages 433-442

  Lucanu, Dorel ^a   Goriac, Eugen Ioan ^a   Caltais, Georgiana ^a   Roşu, Grigore ^b  

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^b University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL PROPERTIES; COINDUCTION; CURRENT STATUS; VERIFICATION TOOLS;

ALGEBRA; COMPUTER SCIENCE;

THEOREM PROVING;

EID: 70350359130     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03741-2_30     Document Type: Conference Paper

References (10)

1. Allouche, J.-P., Arnold, A., Berstel, J., Brlek, S., Jockusch, W., Plouffe, S., Sagan, B.E.: A sequence related to that of Thue-Morse. Discrete Mathematics 139, 455-461 (1995)
2. Allouche, J.-P., Shallit, J.: The ubiquitous prouhet-thue-morse sequence. In: Ding, C., Helleseth, T., Niederreiter, H. (eds.) Sequences and Their applications (Proc. SETA 1998), pp. 1-16. Springer, Heidelberg (1999)
3. Caltais, G., Goriac, E.-I., Lucanu, D., Grigoraş, G.: A Rewrite Stack Machine for ROC! Technical Report TR 08-02, "Al.I. Cuza" University of Iaşi, Faculty of Computer Science (2008), http://www.infoiasi.ro/~tr/tr.pl.cgi
4. Goguen, J., Lin, K., Roşu, G.: Conditional circular coinductive rewriting with case analysis. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 216-232. Springer, Heidelberg (2003)
5. Grigoraş, G., Caltais, D.L.G., Goriac, E.: Automated proving of the behavioral attributes. Accepted for the 4th Balkan Conference in Informatics, BCI 2009 (2009)
6. Lucanu, D., Roşu, G.: Circular Coinduction with Special Contexts. Technical Report UIUCDCS-R-2009-3039, University of Illinois at Urbana-Champaign (submitted, 2009)
7. Lucanu, D., Roşu, G.: Circ: A circular coinductive prover. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol. 4624, pp. 372-378. Springer, Heidelberg (2007)
8. Roşu, G., Lucanu, D.: Circular Coinduction-A Proof Theoretical Foundation. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol. 5728, pp. 127-144. Springer, Heidelberg (2009)
9. Schroeder, M.R.: Fractals, Chaos, Power Laws. W.H. Freeman, New York (1991)
10. Zantema, H.: Well-definedness of streams by termination (submitted, 2009)