CIRC: A Behavioral Verification Tool Based on Circular Coinduction (Q2888503): Difference between revisions

@@ Property / cites work @@
+A relative of the Thue-Morse sequence
@@ Property / cites work: A relative of the Thue-Morse sequence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4330617
@@ Property / cites work: Q4330617 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+CIRC: A Circular Coinductive Prover
@@ Property / cites work: CIRC: A Circular Coinductive Prover / rank @@
+Normal rank
@@ Property / cites work @@
+Circular Coinduction: A Proof Theoretical Foundation
+Normal rank
@@ Property / cites work @@
+Well-Definedness of Streams by Termination
@@ Property / cites work: Well-Definedness of Streams by Termination / rank @@
+Normal rank