The role of abstraction in model checking (Q6175108): Difference between revisions

@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+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 @@
+Model checking dynamic memory allocation in operating systems
+Normal rank
@@ Property / cites work @@
+Model checking JAVA programs using JAVA PathFinder
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank