Pages that link to "Item:Q3512442"
From MaRDI portal
The following pages link to SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR (Q3512442):
Displaying 10 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 (Q2841237) (← links)
- Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol (Q4921502) (← links)
- (Q5013877) (← links)
- More Precise Partition Abstractions (Q5452605) (← links)
