Pages that link to "Item:Q3587259"
From MaRDI portal
The following pages link to Temporal Verification of Reactive Systems: Response (Q3587259):
Displayed 20 items.
- Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919) (← links)
- Collecting statistics over runtime executions (Q812051) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- On automation in the verification of software barriers: experience report (Q2351145) (← links)
- Specification and verification of concurrent programs through refinements (Q2351261) (← links)
- Proof-based verification approaches for dynamic properties: application to the information system domain (Q2355384) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)
- Generalizing the Template Polyhedral Domain (Q3000579) (← links)
- Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
- SAT-Based Model Checking without Unrolling (Q3075471) (← links)
- Distributed and Predictable Software Model Checking (Q3075493) (← links)
- Game Quantification Patterns (Q3601804) (← links)
- Liveness by Invisible Invariants (Q3613081) (← links)
- Verifying Reference Counting Implementations (Q3617768) (← links)
- Realizability of Real-Time Logics (Q3648828) (← links)
- A temporal negative normal form which preserves implicants and implicates (Q4443401) (← links)
- Functional Analysis of Large-Scale DNA Strand Displacement Circuits (Q5168509) (← links)
- Automation of Quantitative Information-Flow Analysis (Q5300883) (← links)
- Adaptation of Open Component-Based Systems (Q5428909) (← links)