Executing and verifying higher-order functional-imperative programs in Maude (Q2409629): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2017.09.002
@@ Property / DOI: 10.1016/j.jlamp.2017.09.002 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DART
@@ Property / describes a project that uses: DART / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STP
@@ Property / describes a project that uses: STP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KLEE
@@ Property / describes a project that uses: KLEE / 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 @@
+TRACER
@@ Property / describes a project that uses: TRACER / 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 @@
+CUTE
@@ Property / describes a project that uses: CUTE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2759708576
@@ Property / OpenAlex ID: W2759708576 / 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 @@
+Q5746005
@@ Property / cites work: Q5746005 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Unified Theory of Operational and Axiomatic Semantics
+Normal rank
@@ Property / cites work @@
+One-Path Reachability Logic
@@ Property / cites work: One-Path Reachability Logic / rank @@
+Normal rank
@@ Property / cites work @@
+All-Path Reachability Logic
@@ Property / cites work: All-Path Reachability Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Analysis of Narratives with the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+A Hoare Logic for the State Monad
@@ Property / cites work: A Hoare Logic for the State Monad / rank @@
+Normal rank
@@ Property / cites work @@
+A generic framework for symbolic execution: a coinductive approach
+Normal rank
@@ Property / cites work @@
+Language definitions as rewrite theories
@@ Property / cites work: Language definitions as rewrite theories / rank @@
+Normal rank
@@ Property / cites work @@
+A language-independent proof system for full program equivalence
+Normal rank
@@ Property / cites work @@
+Symbolic execution based on language transformation
+Normal rank
@@ Property / cites work @@
+Program equivalence by circular reasoning
@@ Property / cites work: Program equivalence by circular reasoning / 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 @@
+TRACER: A Symbolic Execution Tool for Verification
+Normal rank
@@ Property / cites work @@
+Q4813228
@@ Property / cites work: Q4813228 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4812966
@@ Property / cites work: Q4812966 / rank @@
+Normal rank
@@ Property / cites work @@
+Inference Rules for Proving the Equivalence of Recursive Procedures
+Normal rank
@@ Property / cites work @@
+Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+Rewriting Modulo SMT and Open System Analysis
@@ Property / cites work: Rewriting Modulo SMT and Open System Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting modulo SMT and open system analysis
@@ Property / cites work: Rewriting modulo SMT and open system analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Reachability-Logic Formulas Incrementally
@@ Property / cites work: Proving Reachability-Logic Formulas Incrementally / rank @@
+Normal rank
@@ Property / cites work @@
+Matching Logic: An Alternative to Hoare/Floyd Logic
+Normal rank
@@ Property / cites work @@
+Matching Logic - Extended Abstract (Invited Talk)
@@ Property / cites work: Matching Logic - Extended Abstract (Invited Talk) / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2017.09.002
@@ Property / DOI: 10.1016/J.JLAMP.2017.09.002 / rank @@
+Normal rank