The following pages link to Computer Aided Verification (Q5312933):
Displaying 27 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)
- Bounded model checking for knowledge and real time (Q1028970) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- A first-order coalition logic for BDI-agents (Q1712430) (← links)
- Producing explanations for rich logics (Q2024339) (← links)
- Model-based safety assessment of a triple modular generator with xSAP (Q2026377) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Populational announcement logic (PPAL) (Q2219080) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- Terminal satisfiability in GSTE (Q2336669) (← links)
- Formalising privacy policies in social networks (Q2360657) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- An Epistemic Predicate CTL* for Finite Control π-Processes (Q2825420) (← links)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)
- Automatic Data-Abstraction in Model Checking Multi-Agent Systems (Q3003426) (← links)
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic (Q3003427) (← links)
- Symbolic Model Checking the Knowledge in Herbivore Protocol (Q3003428) (← links)
- Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments (Q3087999) (← links)
- (Q3384076) (← links)
- (Q3384175) (← links)
