Property-based slicing for agent verification

DOI10.1093/LOGCOM/EXP029MaRDI QIDQ3656776zbMATH OpenOpenAlexDBLPWikidataFDO

Authors

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 programming languagesmulti-agent systemsprogram verificationproperty-based slicing

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2215634
• Distributed Computing - IWDC 2004
• scientific article; zbMATH DE number 1202873
• scientific article; zbMATH DE number 1759731
• Slicing software for model construction

Cited in

(3)

• Next-preserving branching bisimulation
• Distributed Computing - IWDC 2004
• Where logic and agents meet

This page was built for publication: Property-based slicing for agent verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3656776)