Pages that link to "Item:Q5703798"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703798):
Displaying 50 items.
- Reducing behavioural to structural properties of programs with procedures (Q385023) (← links)
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- Verification of STM on relaxed memory models (Q453508) (← links)
- Bounded underapproximations (Q453533) (← links)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- Temporal logics for concurrent recursive programs: satisfiability and model checking (Q472794) (← links)
- Budget-bounded model-checking pushdown systems (Q479843) (← links)
- On the path-width of integer linear programming (Q515665) (← links)
- Model checking with bounded context switching (Q539429) (← links)
- Delay-bounded scheduling without delay! (Q832185) (← links)
- Compositional verification of sequential programs with procedures (Q937300) (← links)
- Verification of well-formed communicating recursive state machines (Q944388) (← links)
- Reducing concurrent analysis under a context bound to sequential analysis (Q1039852) (← links)
- Realizability of concurrent recursive programs (Q1620953) (← links)
- Compact and efficiently verifiable models for concurrent systems (Q1620959) (← links)
- Static analysis of embedded real-time concurrent software with dynamic priorities (Q1650954) (← links)
- Model checking concurrency and causality (Q1662535) (← links)
- Incremental bounded model checking for embedded software (Q1682291) (← links)
- An automata-theoretic approach to the verification of distributed algorithms (Q1706162) (← links)
- Verifying parallel programs with dynamic communication structures (Q1959654) (← links)
- Model checking of concurrent software systems via heuristic-guided SAT solving (Q2093157) (← links)
- Reachability of scope-bounded multistack pushdown systems (Q2216111) (← links)
- Analysis of correct synchronization of operating system components (Q2226972) (← links)
- Leafy automata for higher-order concurrency (Q2233404) (← links)
- The decidability of verification under PS 2.0 (Q2233444) (← links)
- On exteriority notions in book embeddings and treewidth (Q2297721) (← links)
- Verification of SpecC using predicate abstraction (Q2369884) (← links)
- The complexity of model checking multi-stack systems (Q2398213) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Recent advances on reachability problems for valence systems (invited talk) (Q2695487) (← links)
- (Q2729083) (← links)
- CCA-Secure Keyed-Fully Homomorphic Encryption (Q2798772) (← links)
- Verification of Parameterized Communicating Automata via Split-Width (Q2811340) (← links)
- Context-Free Ambiguity Detection Using Multi-stack Pushdown Automata (Q2817371) (← links)
- On symbolic verification of weakly extended PAD (Q2866343) (← links)
- Model checking concurrent programs with nondeterminism and randomization (Q2908866) (← links)
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions (Q2961579) (← links)
- Faster Algorithms for Weighted Recursive State Machines (Q2988644) (← links)
- Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (Q3000591) (← links)
- Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations (Q3090831) (← links)
- Reasoning about Threads with Bounded Lock Chains (Q3090848) (← links)
- The Complexity of Reversal-Bounded Model-Checking (Q3172883) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Model Checking Concurrent Programs (Q3176376) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- Parameterized Verification of Communicating Automata under Context Bounds (Q3447694) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis (Q3512480) (← links)
- (Q3528928) (← links)