Simplification of boolean verification conditions (Q1575276): Difference between revisions

@@ Property / cites work @@
+Q3833651
@@ Property / cites work: Q3833651 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic generation of invariants and intermediate assertions
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency without toil: A systematic method for parallel program design
+Normal rank
@@ Property / cites work @@
+An assertional correctness proof of a distributed algorithm
+Normal rank
@@ Property / cites work @@
+Introduction to the OBDD algorithm for the ATP community
+Normal rank
@@ Property / cites work @@
+A verification system for concurrent programs based on the Boyer-Moore prover
+Normal rank
@@ Property / cites work @@
+A mechanically verified incremental garbage collector
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank