Foundations for using linear temporal logic in Event-B refinement (Q333316): Difference between revisions

@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Appraising fairness in languages for distributed programming
+Normal rank
@@ Property / cites work @@
+Specification of communicating processes: temporal logic versus refusals-based refinement
+Normal rank
@@ Property / cites work @@
+Towards Modelling Obligations in Event-B
@@ Property / cites work: Towards Modelling Obligations in Event-B / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764139
@@ Property / cites work: Q2764139 / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of formal models by refinement animation
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436980
@@ Property / cites work: Q4436980 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal-logic property preservation under Z refinement
+Normal rank
@@ Property / cites work @@
+The behavioural semantics of Event-B refinement
@@ Property / cites work: The behavioural semantics of Event-B refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Fairness and hyperfairness
@@ Property / cites work: Fairness and hyperfairness / rank @@
+Normal rank
@@ Property / cites work @@
+On the limits of refinement-testing for model-checking CSP
+Normal rank
@@ Property / cites work @@
+Q4791836
@@ Property / cites work: Q4791836 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols
+Normal rank