"Formal Verification of Distributed Algorithms"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Verification of Reactive Systems: Formal Methods and Algorithms	Klaus Schneider	2004	Springer Berlin Heidelberg
Formal Verification	Erik Seligman; Tom Schubert and M V Achutha Kiran Kumar	2015	Morgan Kaufmann
Formal Verification of Circuits	Rolf Drechsler	2000	Springer US
Advanced Formal Verification	Rolf Drechsler	2004	Springer US
Advanced Formal Verification	Drechsler R. (ed.)	2004	Springer Science & Business Media
Advanced Formal Verification	Rolf Drechsler	2004	Kluwer
Advanced Formal Verification	Rolf Drechsler	2004	Kluwer
Industrial Used of Formal Method: Formal Verification	Jean-Louis Boulanger	2012	John Wiley & Sons
Distributed algorithms /	Lynch, Nancy A.	[1996], ©1996.	Morgan Kaufmann Publishers,
Formal verification of hardware design	Michael Yoeli	1990	IEEE Computer Society Press
Formal Verification of Control System Software	Pierre-Loïc Garoche	2019	Princeton University Press
Formal Verification of Control System Software	Pierre-Loïc Garoche	2019	Princeton University Press
Formal Verification of Control System Software	Pierre-Loic Garoche	2019	Princeton University Press
Formal Verification of Control System Software	Pierre-loïc Garoche	2019	Princeton Univ Pr
Introduction to Formal Hardware Verification	Thomas Kropf	1999	Springer Berlin Heidelberg
Scalable Techniques for Formal Verification	Sandip Ray (auth.)	2010	Springer US
Scalable Techniques for Formal Verification	Sandip Ray	2010	Springer US
Introduction to Distributed Algorithms	Gerard Tel	2000-09	Cambridge University Press
Distributed mutual exclusion algorithms /	Srimani, Pradip K.; Das, Sunil R.	1992.	IEEE Computer Society Press,
Introduction to distributed algorithms /	Tel, Gerard.	1994.	Cambridge University Press,
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
Formal Verification of Distributed Algorithms	Philipp Küfner; Uwe Nestmann; Christina Rickmann	Theoretical Computer Science: 7th IFIP TC1/WG 2. 2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings	Jos C.M. Baeten; Tom Ball; Frank S. de Boer	2012	Springer Berlin Heidelberg
Basic formal verification algorithms	Erik Seligman; Tom Schubert; M V Achutha Kiran Kumar	Formal Verification	Erik Seligman; Tom Schubert and M V Achutha Kiran Kumar	2015	Morgan Kaufmann
Formal Verification of Financial Algorithms	Grant Olney Passmore; Denis Ignatovich	Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings	Leonardo de Moura	1st ed. 2017	Springer International Publishing
Verification of Randomized Distributed Algorithms	Roberto Segala	Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures	Ed Brinksma; Holger Hermanns; Joost-Pieter Katoen	2001	Springer Berlin Heidelberg
Formal Verification of Conflict Detection Algorithms	Ricky Butler; Víctor Carreño; Gilles Dowek; César Muñoz	Correct Hardware Design and Verification Methods: 11th IFIP WG 10. 5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings	Tiziana Margaria; Tom Melham	2001	Springer Berlin Heidelberg
Modelling and verification of Distributed Algorithms	Wolfgang Reisig	CONCUR ' 96: Concurrency Theory: 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings	Ugo Montanari; Vladimiro Sassone	1996	Springer Berlin Heidelberg
Compositional Verification of Randomized Distributed Algorithms	Roberto Segala	Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures	Willem-Paul de Roever; Hans Langmaack; Amir Pnueli	1998	Springer Berlin Heidelberg
Verification by Construction of Distributed Algorithms	Dominique Méry	Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings	Robert Mark Hierons; Mohamed Mosbah	1st ed. 2019	Springer International Publishing
Modelling and Verification of Distributed Algorithms	Wolfgang Reisig	Concur '96: concurrency theory: 7th International Conference, Pisa, Italy, August 26-29, 1996: proceedings /	Montanari, U.; Sassone, Vladimiro.	[1996], ©1996.	Springer,
Verification Techniques for Distributed Algorithms	Anna Philippou; George Michael	Principles of Distributed Systems: 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings	Alexander A. Shvartsman	2006	Springer Berlin Heidelberg
Formal Verification of IA-64 Division Algorithms	John Harrison	Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings	Mark Aagaard; John Harrison	2000	Springer Berlin Heidelberg
On Verification of Refinements of Timed Distributed Algorithms	J. Cohen; A. Slissenko	Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings	Yuri Gurevich; Philipp W. Kutter; Martin Odersky; Lothar Thiele	2000	Springer Berlin Heidelberg
Formal Verification	Cinzia Bernadeschi; Alessandro Fantechi; Stefania Gnesi	A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems	David Powell	2001	Springer US
Formal Verification	Jørgen Staunstrup	A Formal Approach to Hardware Design	Jørgen Staunstrup	1994	Springer US
Formal Verification	Wolfgang Rülling	The Electronic Design Automation Handbook	Dirk Jansen	2003	Springer US
Formal Verification	Hai Lin; Panos J. Antsaklis	Hybrid Dynamical Systems: Fundamentals and Methods	Hai Lin; Panos J. Antsaklis	1st ed. 2022	Springer International Publishing
Formal Verification	Marcel Walter; Robert Wille; Frank Sill Torres; Rolf Drechsler	Design Automation for Field-coupled Nanotechnologies	Marcel Walter; Robert Wille; Frank Sill Torres; Rolf Drechsler	1st ed. 2022	Springer International Publishing
formal verification	Martin H. Weik	Computer Science and Communications Dictionary	Martin Weik	2001	Springer US
Formal verification	Erik Seligman; Tom Schubert; M V Achutha Kiran Kumar	Formal Verification	Erik Seligman; Tom Schubert and M V Achutha Kiran Kumar	2015	Morgan Kaufmann
Formal Verification		The VLSI handbook	Wai-Kai Chen	2000	CRC Press; IEEE Press
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Formal Verification of Distributed Algorithms" - similar Books and Chapters