VerICS
From MaRDI portal
Cited in
(49)- Bounded model checking for knowledge and real time
- LDYIS
- Uppaal2k
- TAPS
- MCMAS-X
- Practical verification of multi-agent systems against \textsc{Slk} specifications
- A first-order coalition logic for BDI-agents
- AgentSpeak
- Casper
- simpleAPL
- MCMAS
- Verics
- MCK
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- Strategic reasoning with a bounded number of resources: the quest for tractability
- MOCHA
- Parameterised verification for multi-agent systems
- A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
- Automatic data-abstraction in model checking multi-agent systems
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
- 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
- Specification and Verification of Multi-Agent Systems
- 3APL
- A Complete and Decidable Axiomatisation for Deontic Interpreted Systems
- A data symmetry reduction technique for temporal-epistemic logic
- jMocha
- MCMAS-SLK
- KBPs
- SMCDEL
- DEMO
- Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)
- Automatic verification of temporal-epistemic properties of cryptographic protocols
- Timed automata based model checking of timed security protocols
- A translator of Java programs to TADDs
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
- Verification of the TESLA protocol in MCMAS-X
- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation
- Slicing of timed automata with discrete data
- scientific article; zbMATH DE number 5051652 (Why is no real title available?)
- Automated Technology for Verification and Analysis
- scientific article; zbMATH DE number 5499354 (Why is no real title available?)
- VERICS 2007 -- a model checker for knowledgee and real-time
- Translation of timed Promela to timed automata with discrete data
- SAT-based unbounded model checking of timed automata
- To know or not to know: Epistemic approaches to security protocol verification
- Verification of multi-agent systems with public actions against strategy logic
This page was built for software: VerICS
