Pages that link to "Item:Q4982129"

The following pages link to Model-checking Timed Temporal Logics (Q4982129):

Displaying 48 items.

• Better abstractions for timed automata (Q342707) (← links)
• Linear temporal logic symbolic model checking (Q465680) (← links)
• A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
• Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
• Model-checking in dense real-time (Q689092) (← links)
• Real-time logics: Complexity and expressiveness (Q689093) (← links)
• Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
• Coverage metrics for temporal logic model checking (Q853721) (← links)
• Algorithms for monitoring real-time properties (Q1647773) (← links)
• Modalities for model checking: Branching time logic strikes back (Q1820578) (← links)
• Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
• Comparing model checking and logical reasoning for real-time systems (Q1882792) (← links)
• Temporal reasoning through automatic translation of tock-CSP into timed automata (Q2154047) (← links)
• PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
• Periodicity based decidable classes in a first order timed logic (Q2368906) (← links)
• A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
• Model checking open systems with alternating projection temporal logic (Q2424878) (← links)
• Model checking of pushdown systems for projection temporal logic (Q2424879) (← links)
• Model checking restricted sets of timed paths (Q2503042) (← links)
• Model checking discounted temporal properties (Q2575738) (← links)
• Parking can get you there faster: model augmentation to speed up real-time model checking (Q2842586) (← links)
• Bounded model checking for timed automata (Q2842869) (← links)
• Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking (Q3088034) (← links)
• (Q3145302) (← links)
• Extending CTL with Actions and Real Time (Q3146303) (← links)
• Parametric Timed Model Checking for Guaranteeing Timed Opacity (Q3297588) (← links)
• Model-Checking Timed ATL for Durational Concurrent Game Structures (Q3511240) (← links)
• Timed Temporal Logics for Abstracting Transient States (Q3522919) (← links)
• (Q3539947) (← links)
• Temporal Logic Verification of Lock-Freedom (Q3575281) (← links)
• Complementary Criteria for Testing Temporal Logic Properties (Q3637251) (← links)
• (Q4037084) (← links)
• (Q4415138) (← links)
• Template languages for fault monitoring of timed discrete event processes (Q4507145) (← links)
• Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison (Q4636573) (← links)
• An Experimental Spatio-Temporal Model Checker (Q4988650) (← links)
• Model-Checking Counting Temporal Logics on Flat Structures (Q5111643) (← links)
• On the Complexity of Temporal-Logic Path Checking (Q5167829) (← links)
• A menagerie of timed automata (Q5176174) (← links)
• From Model Checking to a Temporal Proof for Partial Models (Q5194652) (← links)
• (Q5260751) (← links)
• (Q5351958) (← links)
• Counting Models of Linear-Time Temporal Logic (Q5404927) (← links)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479159) (← links)
• Integrated Formal Methods (Q5901617) (← links)
• Decidability of model checking with the temporal logic EF (Q5941100) (← links)
• Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems (Q6077088) (← links)
• Bounded model checking distributed temporal logic (Q6166689) (← links)