Pages that link to "Item:Q3512442"
From MaRDI portal
The following pages link to SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR (Q3512442):
Displaying 13 items.
- Checking interval properties of computations (Q329413) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Generating counterexamples for quantitative safety specifications in probabilistic B (Q652160) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Model checking of pushdown systems for projection temporal logic (Q2424879) (← links)
- Verifying untimed and timed aspects of the experimental batch plant (Q2512162) (← links)
- Mechanical software verification: high level control aspects from a user's perspective (Q2841237) (← links)
- Specifying and Analysing SOC Applications with COWS (Q3507397) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Implementations of the CSP Notation for Concurrent Systems (Q3741029) (← links)
- Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol (Q4921502) (← links)
- (Q5013877) (← links)
- More Precise Partition Abstractions (Q5452605) (← links)