PDF-LinearTime Temporal Logic and Buchi Automata Madhavan Mukund SPIC Mathematical Institute G N Chetty Road Madras India Email madhavanssf
SO
pasty-toler
Published 2014-12-12 | 6344 Views
ernetin Abstract Over the past two decades temporal logic has become a very ba sic tool for spec ifying properties of reactive systems For 64257nitestate sys tems
Download Presentation
Download Presentation The PPT/PDF document "LinearTime Temporal Logic and Buchi Auto..." is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.