Pages that link to "Item:Q3512442"
From MaRDI portal
The following pages link to SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR (Q3512442):
Displayed 7 items.
- 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)
- 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)
- More Precise Partition Abstractions (Q5452605) (← links)