"Verification of Careflow Management Systems with Timed BDI CTL Logic"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Formal verification of timed systems: a survey and perspective	Wang F.	2004
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach	Doc.dr.hab. Wojciech Penczek, Dr. Agata Pólrola (auth.)	2006	Springer-Verlag Berlin Heidelberg
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach	Wojciech Penczek; Agata Pólrola	2006	Springer Berlin Heidelberg
Logic Synthesis and Verification	Soha Hassoun; Tsutomu Sasao	2002	Springer US
Logic synthesis and verification /	Hassoun, Soha.; Sasao, Tsutomu,	[2002], ©2002.	Kluwer Academic Publishers,
Sequential Logic Testing and Verification	Abhijit Ghosh; Srinivas Devadas; A. Richard Newton	1992	Springer US
Logic Synthesis and Verification Algorithms	Gary D. Hachtel; Fabio Somenzi	1996	Springer US
Computer logic,testing and verification	J. Paul Roth	1980	Pitman
Multi-Agent Systems - Mdlg, Ctl, Pgmg, Simuls, Applns	F. Alkhateeb, et al.	2011	Intech
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems	Heinrich Rust	2005	Springer Berlin Heidelberg
The logic of God; theology and verification	Malcolm L. Diamond, Thomas V. Litzenburg	1975	Bobbs-Merrill
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification	Zhe Hou	1st ed. 2021	Springer International Publishing
Systems of Logic	Norman M. Martin	1989-07	Cambridge University Press
Higher Order Logic and Hardware Verification	T. F. Melham	1993-11	Cambridge University Press
Logic design and verification using SystemVerilog /	Thomas, D. E.		CreateSpace
Higher Order Logic and Hardware Verification	T. F. Melham	2009	Cambridge Univ Pr
Temporal Verification of Reactive Systems: Safety	Zohar Manna; Amir Pnueli	1995	Springer New York
Specification and Verification of Concurrent Systems	Charles Rattray	1990	Springer London
Verification of Digital and Hybrid Systems	Kenneth McMillan (auth.), M. Kemal Inan, Robert P. Kurshan (eds.)	2000	Springer-Verlag Berlin Heidelberg
Verification of Digital and Hybrid Systems	M. Kemal Inan; Robert P. Kurshan	2000	Springer Berlin Heidelberg
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Verification of Careflow Management Systems with Timed BDI CTL Logic	Keith Miller; Wendy MacCaull	Business Process Management Workshops: BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers	Stefanie Rinderle-Ma; Shazia Sadiq; Frank Leymann	2010	Springer Berlin Heidelberg
Verification of Timed Systems		Models and Analysis for Distributed Systems	Serge Haddad; Fabrice Kordon; Laurent Pautet; Laure Petrucci	2011	John Wiley & Sons
Verification of Parameterized Timed Systems	Parosh Aziz Abdulla	Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings	Paul Pettersson; Wang Yi	2005	Springer Berlin Heidelberg
Timed Verification with μCRL	Stefan Blom; Natalia Ioustinova; Natalia Sidorova	Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers	Manfred Broy; Alexandre V. Zamulin	2003	Springer Berlin Heidelberg
Automatic Compositional Verification of Timed Systems	Shang-Wei Lin; Yang Liu; Jun Sun; Jin Song Dong; Étienne André	FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings	Dimitra Giannakopoulou; Dominique Mery	2012	Springer Berlin Heidelberg
Verification of timed systems using POSETs	Wendy Belluomini; Chris J. Myers	Computer Aided Verification: 10th International Conference, CAV' 98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings	Alan J. Hu; Moshe Y. Vardi	1998	Springer Berlin Heidelberg
Verification of Timed and Hybrid Systems	Kim Guldstrand Larsen	Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings	Mogens Nielsen; Dan Simpson	2000	Springer Berlin Heidelberg
Specification and Verification of Timed Systems	Joseph Sifakis	Formal Description Techniques VIII	Gregor von Bochmann; Rachida Dssouli; Omar Rafiq	1st ed. 1996	Springer US
Compositional Verification of Parameterised Timed Systems	Lăcrămioara Aştefănoaei; Souha Ben Rayana; Saddek Bensalem; Marius Bozga; Jacques Combaz	NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings	Klaus Havelund; Gerard Holzmann; Rajeev Joshi	2015	Springer International Publishing
Timed Automata Approach to Verification of Systems with Degradation	Jiří Barnat; Ivana Černá; Jana Tůmová	Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers	Zdeněk Kotásek; Jan Bouda; Ivana Cerná; Lukas Sekanina; Tomas Vojnar; David Antoš	2012	Springer Berlin Heidelberg
Specification and verification of timed lazy systems	Flavio Corradini; Marco Pistore	Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings	Wojciech Penczek; Andrzej Szalas	1996	Springer Berlin Heidelberg
Testing Timed Systems with Timed Purposes	H. Fouchal, E. Petitjean and S. Salva	Seventh International Conference on Real-Time Computing Systems and Applications: proceedings, 12-14 December, 2000, Cheju Island, South Korea /	International Conference on Real-Time Computing Systems and Applications (7th 2000 Cheju Island, Korea)	[2000], ©2000.	IEEE Computer Society Press,
Specification and verification of hybrid dynamic systems with Timed ∀-automata	Ying Zhang; Alan K. Mackworth	Hybrid Systems III: Verification and Control	Rajeev Alur; Thomas A. Henzinger; Eduardo D. Sontag	1996	Springer Berlin Heidelberg
Verification with Temporal Logic		Principles of the Spin Model Checker	Mordechai Ben-Ari	2008	Springer London
On Automation of CTL* Verification for Infinite-State Systems	Byron Cook; Heidy Khlaaf; Nir Piterman	Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I	Daniel Kroening; Corina S. Păsăreanu	1st ed. 2015	Springer International Publishing
Interval Approach to Parallel Timed Systems Verification	Yuri G. Karpov; Dmitry Sotnikov	Parallel Computing Technologies: 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings	Victor Malyshkin	2003	Springer Berlin Heidelberg
Reasoning with Levels of Modalities in BDI Logic	Jeff Blee; David Billington; Abdul Sattar	Agent Computing and Multi-Agent Systems: 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers	Aditya Ghose; Guido Governatori; Ramakoti Sadananda	2009	Springer Berlin Heidelberg
DESIGN AND VERIFICATION OF SEQUENCE CONTROL SYSTEMS WITH TIMED PETRI NETS	Y. Nakamura; S. Abe; S. Takeda	Computer Aided Design in Control and Engineering Systems	P. Martin Larsen and N. E. Hansen	1986	Pergamon
CTL (Computation Tree Logic)		Hardver- és szoftverrendszerek verifikációja	Ésik Zoltán, Gombás Éva, Németh L. Zoltán	2011	Typotex
Timed Verification of Asynchronous Circuits	Jesper Møller; Henrik Hulgaard; Henrik Reif Andersen	Concurrency and Hardware Design: Advances in Petri Nets	Jordi Cortadella; Alex Yakovlev; Grzegorz Rozenberg	2002	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Verification of Careflow Management Systems with Timed BDI CTL Logic" - similar Books and Chapters