Property-based Slicing for Agent Verification

DOI10.1093/LOGCOM/EXP029zbMath1185.68751DBLPjournals/logcom/BordiniFWV09OpenAlexW1990751107WikidataQ98283654 ScholiaQ98283654MaRDI QIDQ3656776

No author found.

Publication date: 14 January 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10019.1/85904

zbMATH Keywords

model checkingmulti-agent systemsprogram verificationmulti-agent programming languagesproperty-based slicing

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Agent technology and artificial intelligence (68T42)

Related Items (2)

Where logic and agents meet ⋮ Next-preserving branching bisimulation

This page was built for publication: Property-based Slicing for Agent Verification