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

@@ Property / describes a project that uses @@
+KIV
@@ Property / describes a project that uses: KIV / 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-030-73785-6_6
+Normal rank
@@ Property / OpenAlex ID @@
+W3156605414
@@ Property / OpenAlex ID: W3156605414 / rank @@
+Normal rank
@@ 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