\( \mathbb{K}\) and KIV: towards deductive verification for arbitrary programming languages (Q2237340): Difference between revisions

@@ Property / cites work @@
+K-Java
@@ Property / cites work: K-Java / 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 @@
+K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
+Normal rank
@@ Property / cites work @@
+Why3 — Where Programs Meet Provers
@@ Property / cites work: Why3 — Where Programs Meet Provers / rank @@
+Normal rank
@@ Property / cites work @@
+Viper: A Verification Infrastructure for Permission-Based Reasoning
+Normal rank
@@ Property / cites work @@
+Q4524764
@@ Property / cites work: Q4524764 / rank @@
+Normal rank
@@ Property / cites work @@
+One-Path Reachability Logic
@@ Property / cites work: One-Path Reachability Logic / 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 @@
+Defining and Executing P Systems with Structured Data in K
+Normal rank
@@ Property / cites work @@
+All-Path Reachability Logic
@@ Property / cites work: All-Path Reachability Logic / rank @@
+Normal rank