Composing model programs for analysis (Q710670): Difference between revisions

@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q5294155
@@ Property / cites work: Q5294155 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of specification languages
@@ Property / cites work: Logics of specification languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532083
@@ Property / cites work: Q4532083 / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809077
@@ Property / cites work: Q4809077 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing of software and communication systems. 21st IFIP WG 6.1 international conference, TESTCOM 2009 and 9th international workshop, FATES 2009, Eindhoven, The Netherlands, November 2--4, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+Dynamic partial-order reduction for model checking software
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Partial updates
@@ Property / cites work: Partial updates / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Based Software Testing and Analysis with C#
@@ Property / cites work: Model-Based Software Testing and Analysis with C# / rank @@
+Normal rank
@@ Property / cites work @@
+Defining conditional independence using collapses
@@ Property / cites work: Defining conditional independence using collapses / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Composition of Event-B Models
@@ Property / cites work: The Composition of Event-B Models / rank @@
+Normal rank
@@ Property / cites work @@
+Input-Output Model Programs
@@ Property / cites work: Input-Output Model Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Bounded Conformance Checking of Model Programs
+Normal rank
@@ Property / cites work @@
+On Bounded Reachability of Programs with Set Comprehensions
+Normal rank
@@ Property / cites work @@
+Composition of Model Programs
@@ Property / cites work: Composition of Model Programs / rank @@
+Normal rank
@@ Property / cites work @@
+State Isomorphism in Model Programs with Abstract Data Structures
+Normal rank
@@ Property / cites work @@
+Formal techniques for networked and distributed systems -- FORTE 2008. 28th IFIP WG 6.1 international conference Tokyo, Japan, June 10--13, 2008. Proceedings
+Normal rank