Extending Temporal Logic with Omega-automata Год выпуска: 2009Автор: Nir PitermanИздательство: LAP Lambert Academic PublishingСтраниц: 88ISBN: 9783838322063Описание This book surveys the automata theoretic techniques that are required for model checking and satisfiability of expressive extensions of LTL that are used in specification of hardware designs. The motivation for studying these issues was the work done in Intel on a specification language for hardware model checking that extends LTL, later to be named ForSpec. While ForSpec does not include automata as temporal connectives, the backend tool, that handles the translation of ForSpec does. This led to the renewed study of automata connectives, and how to best handle them with alternating automata.
Похожие книги
Timothy J. Ross. Fuzzy Logic with Engineering Applications. – М.: , 2010. – 606 с. Michael Batty. Cities and Complexity – Understanding Cities with Cellular Automata, Agent–Based Models, and Fractals. – М.: , 2007. – 542 с. Brown. Fundamentals Of Digital Logic. – М.: , 2008. – 0 с. The Ultimate Omega-3 Diet. – М.: , 2011. – 256 с. Doron Drusinsky. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking. – М.: , 2006. – 400 с. Anamitra Pal and James S. Thorp. Coordinated Control of Inter-area Oscillations using SMA and LMI. – М.: LAP Lambert Academic Publishing, 2012. – 160 с. Ashwini Pachhade. Car Parking Using Puzzling Logic With Code Lock System. – М.: LAP Lambert Academic Publishing, 2013. – 68 с. Shakeel Ahmad. Production of Omega-3 Enriched Eggs. – М.: LAP Lambert Academic Publishing, 2011. – 164 с. Serban E. Vlad. Asynchronous systems theory. – М.: LAP Lambert Academic Publishing, 2012. – 376 с. Jonathan O. Chimakonam. Logic In Transition. – М.: LAP Lambert Academic Publishing, 2012. – 96 с. Pietro Palermo. A.N Prior and the "Master Argument" of Diodorus. – М.: LAP Lambert Academic Publishing, 2012. – 60 с. Hemendra Kumar Sharma,Sandhya Chaurasia and Suneel Kumar Vasireddy. Formulation and Evaluation of Cephalexin Extended Release Tablet. – М.: LAP Lambert Academic Publishing, 2012. – 144 с. Abeer Abo Khatwa and Shadia Abd El Kader. Impact of Omega-3 Fatty Acids on the Occurrence of Preeclampsia. – М.: LAP Lambert Academic Publishing, 2014. – 132 с. Dr. Nadeem Mahmood and Dr. S. M. Aqil Burney. Temporal and Fuzzy Relational Databases. – М.: LAP Lambert Academic Publishing, 2011. – 148 с. Tomas Fiedor. A Decision Procedure For The WSkS Logic. – М.: LAP Lambert Academic Publishing, 2014. – 60 с. Jose Aguilar. Temporal Logic from the Chronicles Paradigm:. – М.: LAP Lambert Academic Publishing, 2011. – 96 с. Nir Piterman. Extending Temporal Logic with Omega-automata. – М.: LAP Lambert Academic Publishing, 2009. – 88 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Денис, 12.07 Защитился я 10.07. с Вашей помощью на хорошо, (отл) ставили только тем, кого после защиты приглашали в аспирантуру. Я Вам очень признателен за Ваш подход к работе и скорость! Если Вы не против, я буду Вас рекомендовать своим знакомым.
