Published:
May 2000
Proceedings:
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)
Volume
Issue:
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)
Track:
All Papers
Downloads:
Abstract:
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.
FLAIRS
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)
ISBN 978-1-57735-113-9
Published by The AAAI Press, Menlo Park, California.