Computer Aided Verification
From MaRDI portal
(Redirected from Publication:5312933)
Computer Aided Verification (scientific article; zbMATH DE number 2199318)
Computer Aided Verification (scientific article; zbMATH DE number 2199318)
Recommendations
Cited in
(44)- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
- Automatic data-abstraction in model checking multi-agent systems
- scientific article; zbMATH DE number 7445170 (Why is no real title available?)
- Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)
- Model checking agent knowledge in dynamic access control policies
- Populational announcement logic (PPAL)
- scientific article; zbMATH DE number 140397 (Why is no real title available?)
- scientific article; zbMATH DE number 2087373 (Why is no real title available?)
- Combined model checking for temporal, probabilistic, and real-time logics
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- Bounded model checking for knowledge and real time
- Terminal satisfiability in GSTE
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
- An epistemic foundation for authentication logics (extended abstract)
- Verifying real-time properties of multi-agent systems via SMT-based bounded model checking
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
- Producing explanations for rich logics
- scientific article; zbMATH DE number 2112166 (Why is no real title available?)
- A computationally grounded, weighted doxastic logic
- Checking EMTLK properties of timed interpreted systems via bounded model checking
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
- Model-based safety assessment of a triple modular generator with xSAP
- An SMT-based approach to the verification of knowledge-based programs
- Program semantics and verification technique for AI-centred programs
- A logic for repair and state recovery in Byzantine fault-tolerant multi-agent systems
- Formalising privacy policies in social networks
- A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
- scientific article; zbMATH DE number 1538052 (Why is no real title available?)
- Symbolic model checking the knowledge in Herbivore protocol
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- To know or not to know: Epistemic approaches to security protocol verification
- An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes
- scientific article; zbMATH DE number 2087624 (Why is no real title available?)
- Approximate verification of strategic abilities under imperfect information
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
- Verification and strategy synthesis for coalition announcement logic
- Counter abstraction for regular open teams
- Towards the knowledge in coalgebraic model of IDS
- Second-order hyperproperties
- Verified synthesis of knowledge-based programs in finite synchronous environments
- 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
This page was built for publication: Computer Aided Verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312933)
