Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 29 results in range #1 to #29.

String abstraction for model checking of C programs: Label: en
A novel decentralized LTL monitoring framework using formula progression table: Label: en
Model checking branching time properties for incomplete Markov chains: Label: en
Model verification through dependency graphs: Label: en
Extracting safe thread schedules from incomplete model checking results: Label: en
Statistical model checking of complex robotic systems: Label: en
Elimination of detached regions in dependency graph verification: Label: en
Efficient trace generation for rare-event analysis in chemical reaction networks: Label: en
Sound concurrent traces for online monitoring: Label: en
Efficient implementation of LIMDDs for quantum circuit simulation: Label: en
Quantitative Model Checking for a Controller Design: Label: en
Lazy Reachability Checking for Timed Automata with Discrete Variables: Label: en
Local Data Race Freedom with Non-multi-copy Atomicity: Label: en
Control Strategies for Off-Line Testing of Timed Systems: Label: en
A Branching Time Variant of CaRet: Label: en
Model-Checking HyperLTL for Pushdown Systems: Label: en
Star-Topology Decoupling in SPIN: Label: en
Improving Generalization in Software IC3: Label: en
Petri Net Reductions for Counting Markings: Label: en
Program Verification with Separation Logic: Label: en
Efficient Runtime Verification of First-Order Temporal Properties: Label: en
Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K: Label: en
Translation from Adapted UML to Promela for CORBA-Based Applications: Label: en
Fair Testing and Stubborn Sets: Label: en
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators: Label: en
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems: Label: en
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization: Label: en
Certification for $$\mu $$ μ -Calculus with Winning Strategies: Label: en
Automated Analysis of Asynchronously Communicating Systems: Label: en