VerICS
From MaRDI portal
Software:14558
swMATH2011MaRDI QIDQ14558FDOQ14558
Author name not available (Why is that?)
Cited In (32)
- Title not available (Why is that?)
- Parameterised verification for multi-agent systems
- SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- Bounded model checking for knowledge and real time
- Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments
- Automated Technology for Verification and Analysis
- A Data Symmetry Reduction Technique for Temporal-epistemic Logic
- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation
- Automatic Data-Abstraction in Model Checking Multi-Agent Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Complete and Decidable Axiomatisation for Deontic Interpreted Systems
- Automatic verification of temporal-epistemic properties of cryptographic protocols
- Title not available (Why is that?)
- Parametric Model Checking with VerICS
- To know or not to know: Epistemic approaches to security protocol verification
- Title not available (Why is that?)
- Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Specification and Verification of Multi-Agent Systems
- Title not available (Why is that?)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems
- Title not available (Why is that?)
- Verification of multi-agent systems with public actions against strategy logic
- Title not available (Why is that?)
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
- Practical verification of multi-agent systems against \textsc{Slk} specifications
- A first-order coalition logic for BDI-agents
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
- Title not available (Why is that?)
This page was built for software: VerICS