Pages that link to "Item:Q1193587"
From MaRDI portal
The following pages link to Symbolic model checking: \(10^{20}\) states and beyond (Q1193587):
Displayed 50 items.
- Temporal property verification as a program analysis task (Q2441713) (← links)
- Priority functions for the approximation of the metric TSP (Q2444775) (← links)
- Properties of a predicate transformer of the VRS system (Q2452750) (← links)
- An automatic method for the dynamic construction of abstractions of states of a formal model (Q2452756) (← links)
- Strong planning under partial observability (Q2457630) (← links)
- Concurrent reachability games (Q2465027) (← links)
- Symbolic topological sorting with OBDDs (Q2465997) (← links)
- Symbolic graphs: Linear solutions to connectivity related problems (Q2471809) (← links)
- ACTLW -- an action-based computation tree logic with unless operator (Q2476788) (← links)
- Abstractions of data types (Q2491212) (← links)
- Model checking with strong fairness (Q2505624) (← links)
- Qualitative criteria of admissibility for enforced agreements (Q2509080) (← links)
- A contribution to the validation of grafcet controlled systems (Q2512110) (← links)
- Bounded model checking of traffic light control system (Q2520617) (← links)
- From complementation to certification (Q2575735) (← links)
- An interpolating theorem prover (Q2575736) (← links)
- Exploiting interleaving semantics in symbolic state-space generation (Q2642670) (← links)
- Program verification with interacting analysis plugins (Q2642983) (← links)
- When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus (Q2643076) (← links)
- The state of SAT (Q2643296) (← links)
- A proof system for unified temporal logic (Q2686105) (← links)
- On the Unusual Effectiveness of Logic in Computer Science (Q2736585) (← links)
- (Q2741533) (← links)
- Compositional Model Checking of product-form CTMCs (Q2810967) (← links)
- Formal Models of Timing Attacks on Web Privacy (Q2841280) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Directed Model Checking for B: An Evaluation and New Techniques (Q2999306) (← links)
- Statistical Verification of Probabilistic Properties with Unbounded Until (Q2999315) (← links)
- A discrete event systems approach to network fault management: detection and diagnosis of faults (Q3020152) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Well (and Better) Quasi-Ordered Transition Systems (Q3067860) (← links)
- SAT-Based Model Checking without Unrolling (Q3075471) (← links)
- Runtime Verification of Component-Based Systems (Q3095241) (← links)
- Binary Decision Diagrams (Q3176365) (← links)
- BDD-Based Symbolic Model Checking (Q3176366) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- Controller/Orchestrator Synthesis via Filtration (Q3185761) (← links)
- VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND (Q3426787) (← links)
- Model checking workflow net based on Petri net (Q3446022) (← links)
- Randomized OBDD-Based Graph Algorithms (Q3460720) (← links)
- Symbolic Model Checking for Alternating Projection Temporal Logic (Q3467865) (← links)
- Linear-Time Model Checking: Automata Theory in Practice (Q3503888) (← links)
- Model Checking Contracts – A Case Study (Q3510789) (← links)
- Hierarchical Set Decision Diagrams and Automatic Saturation (Q3510869) (← links)
- The Birth of Model Checking (Q3512430) (← links)
- Automated Generation of Optimal Controllers through Model Checking Techniques (Q3564226) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- BDD-based decision procedures for the modal logic K ★ (Q3647260) (← links)
- (Q4255564) (← links)