Pages that link to "Item:Q3719811"

The following pages link to Automatic verification of finite-state concurrent systems using temporal logic specifications (Q3719811):

Displaying 50 items.

• A tableau calculus for first-order branching time logic (Q4632314) (← links)
• Deciding properties of integral relational automata (Q4632414) (← links)
• Undecidable verification problems for programs with unreliable channels (Q4632436) (← links)
• Equivalences for fair Kripke structures (Q4632440) (← links)
• Compositionality in state space verification methods (Q4633153) (← links)
• Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic (Q4639929) (← links)
• INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis (Q4652794) (← links)
• Automated deduction in a graphical temporal logic (Q4868233) (← links)
• Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta. (Q4923520) (← links)
• Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I (Q4923526) (← links)
• Model Theoretic Syntax and Parsing (Q4923571) (← links)
• Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski (Q4953222) (← links)
• The Complexity of Satisfiability for Fragments of CTL and CTL⋆ (Q4982095) (← links)
• Model-checking Timed Temporal Logics (Q4982129) (← links)
• (Q5015276) (← links)
• (Q5015397) (← links)
• Property-oriented expansion (Q5030184) (← links)
• Skeleton Abstraction for Universal Temporal Properties (Q5044401) (← links)
• Verification and comparison of transition systems (Q5044730) (← links)
• State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)
• Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
• Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach (Q5079769) (← links)
• (Q5094115) (← links)
• A temporal logic for real-time partial-ordering with named transactions (Q5096355) (← links)
• Petri nets, traces, and local model checking (Q5096394) (← links)
• Model Checking and Validity in Propositional and Modal Inclusion Logics (Q5111246) (← links)
• Knowledge-based programs (Q5137342) (← links)
• Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities (Q5164168) (← links)
• A menagerie of timed automata (Q5176174) (← links)
• Meanings of Model Checking (Q5187832) (← links)
• (Q5214813) (← links)
• Alternating automata: Unifying truth and validity checking for temporal logics (Q5234701) (← links)
• A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems (Q5285990) (← links)
• Model Checking of Biological Systems (Q5300885) (← links)
• Verification: Theory and Practice (Q5305658) (← links)
• Tools and Algorithms for the Construction and Analysis of Systems (Q5308421) (← links)
• Analysing Biochemical Oscillation through Probabilistic Model Checking (Q5404071) (← links)
• A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)
• From Monadic Logic to PSL (Q5452203) (← links)
• An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)
• Automata-Theoretic Model Checking Revisited (Q5452603) (← links)
• CONFLICTS AND FAIR TESTING (Q5484903) (← links)
• Journeys in non-classical computation I: A grand challenge for computing research (Q5492115) (← links)
• On Reasoning About Rings (Q5696925) (← links)
• Minimal refinements of specifications in modal and temporal logics (Q5899160) (← links)
• Abstract State Machines 2004. Advances in Theory and Practice (Q5901597) (← links)
• Minimal refinements of specifications in modal and temporal logics (Q5920375) (← links)
• Min-max Computation Tree Logic (Q5940962) (← links)
• Symbolic model checking with rich assertional languages (Q5941102) (← links)
• Automatic verification of parameterized networks of processes (Q5941103) (← links)