Symbolic execution based on language transformation (Q1749128): Difference between revisions

@@ Property / describes a project that uses @@
+STP
@@ Property / describes a project that uses: STP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CUTE
@@ Property / describes a project that uses: CUTE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pex
@@ Property / describes a project that uses: Pex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K tool
@@ Property / describes a project that uses: K tool / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K-Java
@@ Property / describes a project that uses: K-Java / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KLOVERA
@@ Property / describes a project that uses: KLOVERA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2291243181
@@ Property / OpenAlex ID: W2291243181 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Variant Narrowing and Equational Unification
@@ Property / cites work: Variant Narrowing and Equational Unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417955
@@ Property / cites work: Q4417955 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of the K semantic framework
@@ Property / cites work: An overview of the K semantic framework / rank @@
+Normal rank
@@ Property / cites work @@
+From Hoare Logic to Matching Logic Reachability
@@ Property / cites work: From Hoare Logic to Matching Logic Reachability / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank
@@ Property / cites work @@
+A rewriting logic approach to operational semantics
+Normal rank