FSP and FLTL framework for specification and verification of middle-agents

DOI10.2478/V10006-011-0001-6zbMath1216.68184OpenAlexW2079758184MaRDI QIDQ3016270

Amelia Bădică, Costin Bădică

Publication date: 15 July 2011

Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/208041

zbMATH Keywords

process algebraformal specificationmulti-agent systeminteraction protocol

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42)

Uses Software

• MSTA
• LTSA-WS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compositional verification of a multi-agent system for one-to-many negotiation
• Formal Specification of Multi-agent Systems by Using EUSMs
• Automatic verification of finite-state concurrent systems using temporal logic specifications

This page was built for publication: FSP and FLTL framework for specification and verification of middle-agents