Automated flaw detection in algebraic specifications (Q616853): Difference between revisions

@@ 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/s10817-010-9166-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2070717690
@@ Property / OpenAlex ID: W2070717690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809057
@@ Property / cites work: Q4809057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524769
@@ Property / cites work: Q4524769 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive verification of concurrent systems using symbolic execution
+Normal rank
@@ Property / cites work @@
+Q5291078
@@ Property / cites work: Q5291078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating Algebraic Specifications of Non-freely Generated Data Types
+Normal rank
@@ Property / cites work @@
+Bounded Relational Analysis of Free Data Types
@@ Property / cites work: Bounded Relational Analysis of Free Data Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790385
@@ Property / cites work: Q4790385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436059
@@ Property / cites work: Q4436059 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024873
@@ Property / cites work: Q3024873 / rank @@
+Normal rank
@@ Property / cites work @@
+Automation for interactive proof: first prototype
@@ Property / cites work: Automation for interactive proof: first prototype / rank @@
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Q4524764
@@ Property / cites work: Q4524764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702602
@@ Property / cites work: Q2702602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539647
@@ Property / cites work: Q4539647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702600
@@ Property / cites work: Q2702600 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Kodkod: A Relational Model Finder
@@ Property / cites work: Kodkod: A Relational Model Finder / rank @@
+Normal rank