Translating Xd-C programs to MSVL programs (Q2290648): Difference between revisions

@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Kernel P systems: from modelling to verification and testing
+Normal rank
@@ Property / cites work @@
+Efficient abstraction algorithms for predicate detection
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Fairness modulo theory: a new approach to LTL software model checking
+Normal rank
@@ Property / cites work @@
+Q4531754
@@ Property / cites work: Q4531754 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5--13, 2014. Proceedings
+Normal rank
@@ Property / cites work @@
+A mechanism of function calls in MSVL
@@ Property / cites work: A mechanism of function calls in MSVL / rank @@
+Normal rank
@@ Property / cites work @@
+A compiler for MSVL and its applications
@@ Property / cites work: A compiler for MSVL and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+A practical decision procedure for propositional projection temporal logic with infinite models
+Normal rank
@@ Property / cites work @@
+A decision procedure for propositional projection temporal logic with infinite models
+Normal rank
@@ Property / cites work @@
+Mechanized semantics for the clight subset of the C language
+Normal rank
@@ Property / cites work @@
+Operational semantics of Framed Tempura
@@ Property / cites work: Operational semantics of Framed Tempura / rank @@
+Normal rank
@@ Property / cites work @@
+Framed temporal logic programming
@@ Property / cites work: Framed temporal logic programming / rank @@
+Normal rank