The sh-verification tool supports a verification method for cooperating systems based on formal languages. It comprises computing abstractions of finite-state behaviour representations as well as automata and temporal logic based verification approaches. A small but typical example shows the steps for analysing its dynamic behaviour using the sh-verification tool.
Published Date: May 2000
Registration: ISBN 978-1-57735-113-9
Copyright: Published by The AAAI Press, Menlo Park, California.