Towards a notion of unsatisfiable and unrealizable cores for LTL (Q433349): 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.1016/j.scico.2010.11.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2149150933
@@ Property / OpenAlex ID: W2149150933 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Notion of Unsatisfiable Cores for LTL
@@ Property / cites work: Towards a Notion of Unsatisfiable Cores for LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Implementation of Alternating Automata
@@ Property / cites work: Symbolic Implementation of Alternating Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient detection of vacuity in temporal model checking
+Normal rank
@@ Property / cites work @@
+Q4494388
@@ Property / cites work: Q4494388 / rank @@
+Normal rank
@@ Property / cites work @@
+Coverage metrics for temporal logic model checking
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885877
@@ Property / cites work: Q4885877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Before and after vacuity
@@ Property / cites work: Before and after vacuity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Requirements Validation for Hybrid Systems
@@ Property / cites work: Requirements Validation for Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Abstraction for Temporal Logic Satisfiability
+Normal rank
@@ Property / cites work @@
+Diagnostic Information for Realizability
@@ Property / cites work: Diagnostic Information for Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Past is for free: On the complexity of verifying linear temporal properties with past
+Normal rank
@@ Property / cites work @@
+The Complexity of Generalized Satisfiability for Linear Temporal Logic
+Normal rank
@@ Property / cites work @@
+Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
+Normal rank
@@ Property / cites work @@
+A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
+Normal rank
@@ Property / cites work @@
+An optimality result for clause form translation
@@ Property / cites work: An optimality result for clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Practically useful variants of definitional translations to normal form
+Normal rank
@@ Property / cites work @@
+Q4012170
@@ Property / cites work: Q4012170 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal temporal resolution
@@ Property / cites work: Clausal temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427907
@@ Property / cites work: Q4427907 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Computer-Aided Design
@@ Property / cites work: Formal Methods in Computer-Aided Design / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817533
@@ Property / cites work: Q4817533 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
+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 @@
+Q2845506
@@ Property / cites work: Q2845506 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q4817549
@@ Property / cites work: Q4817549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703299
@@ Property / cites work: Q3703299 / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Synthesis of Communicating Processes from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Q5725991
@@ Property / cites work: Q5725991 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic generators and games for Ltl fragments
+Normal rank
@@ Property / cites work @@
+A Hybrid Algorithm for LTL Games
@@ Property / cites work: A Hybrid Algorithm for LTL Games / rank @@
+Normal rank
@@ Property / cites work @@
+Open Implication
@@ Property / cites work: Open Implication / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Formal Methods in Computer-Aided Design
@@ Property / cites work: Formal Methods in Computer-Aided Design / rank @@
+Normal rank
@@ Property / cites work @@
+On the Notion of Vacuous Truth
@@ Property / cites work: On the Notion of Vacuous Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804918
@@ Property / cites work: Q4804918 / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond vacuity: towards the strongest passing formula
+Normal rank
@@ Property / cites work @@
+Q2741521
@@ Property / cites work: Q2741521 / rank @@
+Normal rank
@@ Property / cites work @@
+MUST: Provide a Finer-Grained Explanation of Unsatisfiability
+Normal rank
@@ Property / cites work @@
+Q4474227
@@ Property / cites work: Q4474227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553254
@@ Property / cites work: Q4553254 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Locating Minimal Infeasible Constraint Sets in Linear Programs
+Normal rank
@@ Property / cites work @@
+A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
+Normal rank
@@ Property / cites work @@
+Vacuity in Testing
@@ Property / cites work: Vacuity in Testing / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of facets resolved
@@ Property / cites work: The complexity of facets resolved / rank @@
+Normal rank