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