Flexible Correct-by-Construction Programming (Q6135766): Difference between revisions

@@ Property / DOI @@
-.46298/lmcs-19(2:16)2023
@@ Property / DOI: 10.46298/lmcs-19(2:16)2023 / rank @@
-Normal rank
@@ Property / cites work @@
+Verification of Concurrent Systems with VerCors
@@ Property / cites work: Verification of Concurrent Systems with VerCors / rank @@
+Normal rank
@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariant based programming: Basic approach and teaching experiences
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Refinements for Free!
@@ Property / cites work: Refinements for Free! / rank @@
+Normal rank
@@ Property / cites work @@
+Software engineering and formal methods. 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1--5, 2012. Proceedings
+Normal rank
@@ Property / cites work @@
+Verifying traits: an incremental proof system for fine-grained reuse
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721623
@@ Property / cites work: Q4721623 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement in Isabelle/HOL
@@ Property / cites work: Data Refinement in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+For a few dollars more. Verified fine-grained algorithm analysis down to LLVM
+Normal rank
@@ Property / cites work @@
+Q5626277
@@ Property / cites work: Q5626277 / rank @@
+Normal rank
@@ Property / cites work @@
+The Correctness-by-Construction Approach to Programming
+Normal rank
@@ Property / cites work @@
+Dafny: An Automatic Program Verifier for Functional Correctness
+Normal rank
@@ Property / cites work @@
+Extending FeatherTrait Java with interfaces
@@ Property / cites work: Extending FeatherTrait Java with interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+A Deductive Approach to Program Synthesis
@@ Property / cites work: A Deductive Approach to Program Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+ArcAngel: a tactic language for refinement
@@ Property / cites work: ArcAngel: a tactic language for refinement / rank @@
+Normal rank
@@ Property / cites work @@
+A UTP semantics for \textsf{Circus}
@@ Property / cites work: A UTP semantics for \textsf{Circus} / rank @@
+Normal rank
@@ Property / cites work @@
+Feature integration using a feature construct
@@ Property / cites work: Feature integration using a feature construct / rank @@
+Normal rank
@@ Property / cites work @@
+Traits: correctness-by-construction for free
@@ Property / cites work: Traits: correctness-by-construction for free / rank @@
+Normal rank
@@ Property / DOI @@
+.46298/LMCS-19(2:16)2023
@@ Property / DOI: 10.46298/LMCS-19(2:16)2023 / rank @@
+Normal rank