Slicing Behavior Tree Models for Verification

DOI10.1007/978-3-642-15240-5_10zbMath1202.68258OpenAlexW1562572612MaRDI QIDQ3163878

Nisansala Yatapanage, Kirsten Winter, Saad Zafar

Publication date: 27 October 2010

Published in: IFIP Advances in Information and Communication Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15240-5_10

zbMATH Keywords

Program slicing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (2)

Lazy slicing for state-space exploration ⋮ Next-preserving branching bisimulation

This page was built for publication: Slicing Behavior Tree Models for Verification