Lazy slicing for state-space exploration (Q2637297): Difference between revisions

@@ Property / author @@
+Shao-bin Huang
@@ Property / author: Shao-bin Huang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11390-012-1271-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2082289059
@@ Property / OpenAlex ID: W2082289059 / rank @@
+Normal rank
@@ Property / cites work @@
+ZB 2005: Formal Specification and Development in Z and B
+Normal rank
@@ Property / cites work @@
+Slicing software for model construction
@@ Property / cites work: Slicing software for model construction / rank @@
+Normal rank
@@ Property / cites work @@
+Slicing Behavior Tree Models for Verification
@@ Property / cites work: Slicing Behavior Tree Models for Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037382
@@ Property / cites work: Q4037382 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601408
@@ Property / cites work: Q3601408 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Actor-based slicing techniques for efficient reduction of Rebeca models
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
+Normal rank
@@ Property / cites work @@
+Counterexample-guided focus
@@ Property / cites work: Counterexample-guided focus / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Explaining Counterexamples Using Causality
@@ Property / cites work: Explaining Counterexamples Using Causality / rank @@
+Normal rank