TOrPEDO : witnessing model correctness with topological proofs (Q2065548): Difference between revisions

@@ 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/s00165-021-00564-1
+Normal rank
@@ Property / OpenAlex ID @@
+W3212099766
@@ Property / OpenAlex ID: W3212099766 / rank @@
+Normal rank
@@ Property / cites work @@
+From Under-Approximations to Over-Approximations and Back
+Normal rank
@@ Property / cites work @@
+Q5714241
@@ Property / cites work: Q5714241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818796
@@ Property / cites work: Q4818796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536601
@@ Property / cites work: Q4536601 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+From Model Checking to a Temporal Proof for Partial Models
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Data structures for symbolic multi-valued model-checking
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417920
@@ Property / cites work: Q4417920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791848
@@ Property / cites work: Q4791848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414390
@@ Property / cites work: Q4414390 / rank @@
+Normal rank
@@ Property / cites work @@
+LTL Generalized Model Checking Revisited
@@ Property / cites work: LTL Generalized Model Checking Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Certifying proofs for SAT-based model checking
@@ Property / cites work: Certifying proofs for SAT-based model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472251
@@ Property / cites work: Q4472251 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-time temporal logic and tree automata
@@ Property / cites work: Branching-time temporal logic and tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Completeness Thresholds for Bounded Model Checking
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-robot LTL planning under uncertainty
@@ Property / cites work: Multi-robot LTL planning under uncertainty / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating Topological Proofs with Model Checking to Instrument Iterative Design
+Normal rank
@@ Property / cites work @@
+Supporting verification-driven incremental distributed design of components
+Normal rank
@@ Property / cites work @@
+A verification-driven framework for iterative design of controllers
+Normal rank
@@ Property / cites work @@
+Dealing with incompleteness in automata-based model checking
+Normal rank
@@ Property / cites work @@
+Q4553254
@@ Property / cites work: Q4553254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474227
@@ Property / cites work: Q4474227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531749
@@ Property / cites work: Q4531749 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Encodings of Bounded LTL Model Checking
@@ Property / cites work: Linear Encodings of Bounded LTL Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804916
@@ Property / cites work: Q4804916 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Linear-Time Temporal Logic Model Repair
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113906134
@@ Property / Wikidata QID: Q113906134 / rank @@
+Normal rank