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

@@ Property / author @@
-Grigore Roşu
@@ Property / author: Grigore Roşu / rank @@
-Normal rank
@@ Property / author @@
+Grigore Roşu
@@ Property / author: Grigore Roşu / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-03741-2_30
+Normal rank
@@ Property / OpenAlex ID @@
+W1680684178
@@ Property / OpenAlex ID: W1680684178 / rank @@
+Normal rank
@@ 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