Pages that link to "Item:Q5942575"
From MaRDI portal
The following pages link to Software reliability methods. Foreword by Edmund M. Clarke (Q5942575):
Displaying 9 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Bounded semantics (Q483292) (← links)
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← links)
- Mafia: A theoretical study of players and coalitions in a partial information environment (Q930667) (← links)
- Precise specification matching for adaptive reuse in embedded systems (Q2372190) (← links)
- Abstractions of data types (Q2491212) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- Scenario-Based Timing Consistency Checking for Time Petri Nets (Q3613085) (← links)
- Practical abstractions for automated verification of message passing concurrency (Q6536355) (← links)
