A semantic framework for the abstract model checking of tccp programs (Q2576949): Difference between revisions

@@ Property / cites work @@
+Q4472235
@@ Property / cites work: Q4472235 / rank @@
+Normal rank
@@ Property / cites work @@
+A timed concurrent constraint language.
@@ Property / cites work: A timed concurrent constraint language. / rank @@
+Normal rank
@@ Property / cites work @@
+Proving correctness of timed concurrent constraint programs
+Normal rank
@@ Property / cites work @@
+Q4536601
@@ Property / cites work: Q4536601 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
+Normal rank
@@ Property / cites work @@
+Automatic verification of timed concurrent constraint programs
+Normal rank
@@ Property / cites work @@
+Q4411974
@@ Property / cites work: Q4411974 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalized semantics of PROMELA for abstract model checking
+Normal rank
@@ Property / cites work @@
+Generalized semantics and abstract interpretation for constraint logic programs
+Normal rank
@@ Property / cites work @@
+Q4779119
@@ Property / cites work: Q4779119 / rank @@
+Normal rank
@@ Property / cites work @@
+Making abstract interpretations complete
@@ Property / cites work: Making abstract interpretations complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791848
@@ Property / cites work: Q4791848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414730
@@ Property / cites work: Q4414730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ Property / cites work @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4259957
@@ Property / cites work: Q4259957 / rank @@
+Normal rank