Pages that link to "Item:Q2996923"
From MaRDI portal
The following pages link to An Introduction to Practical Formal Methods Using Temporal Logic (Q2996923):
Displayed 6 items.
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Dynamic logic assigned to automata (Q682633) (← links)
- A two-level approach based on model checking to support architecture conformance checking (Q2154043) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)