NASA NTRS · 20010120044
Circular Coinduction
Abstract
Circular coinduction is a technique for behavioral reasoning that extends cobasis coinduction to specifications with circularities. Because behavioral satisfaction is not recursively enumerable, no algorithm can work for every behavioral statement. However. algorithms using circular coinduction can prove every practical behavioral result that we know. This paper proves the correctness of circular coinduction and some consequences.
Keep this discovery
Explore connections, maps & timelines
Rosu, Grigore, Goguen, Joseph, Norvig, Peter. 2001-01-01. Circular Coinduction. https://ntrs.nasa.gov/citations/20010120044
Cite the original work for its findings. Save a collection to share your selection of sources.