The following pages link to Computer Aided Verification (Q5312933):
Displaying 7 items.
- Checking EMTLK properties of timed interpreted systems via bounded model checking (Q310082) (← links)
- A computationally grounded, weighted doxastic logic (Q310087) (← links)
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
