"Modularization and abstraction: The keys to practical formal verification"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Formal Verification	Erik Seligman; Tom Schubert and M V Achutha Kiran Kumar	2015	Morgan Kaufmann
Introduction to Formal Hardware Verification	Thomas Kropf	1999	Springer Berlin Heidelberg
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
An introduction to formal program verification	Ali Mili	1985	Van Nostrand Reinhold Co.
Formal Verification of Circuits	Rolf Drechsler	2000	Springer US
Industrial Used of Formal Method: Formal Verification	Jean-Louis Boulanger	2012	John Wiley & Sons
Scalable Techniques for Formal Verification	Sandip Ray (auth.)	2010	Springer US
Scalable Techniques for Formal Verification	Sandip Ray	2010	Springer US
Formal verification of hardware design	Michael Yoeli	1990	IEEE Computer Society Press
Formal specification and verification of digital systems /	Milne, George J.,	[1994], ©1994.	McGraw-Hill,
Formal methods of program verification and specification	H. K. Berg	1982	Prentice-Hall
SAT-Based Scalable Formal Verification Solutions	Malay Ganai; Aarti Gupta	2007	Springer US
A Roadmap for Formal Property Verification	Pallab Dasgupta	2006	Springer Netherlands
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
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
Modularization and abstraction: The keys to practical formal verification	Yonit Kesten; Amir Pnueli	Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS' 98, Brno, Czech Republic, August 24-28, 1998	Luboš Brim; Jozef Gruska; Jiří Zlatuška	1998	Springer Berlin Heidelberg
Keys in Formal Verification	Amir Pnueli	Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004	Manfred Broy; Johannes Gruenbauer; David Harel; Tony Hoare	2005	Springer Netherlands
32 Abstraction and modularization		Objects First with Java: A Practical Introduction Using BlueJ	David Barnes, Michael Kolling	2016	Pearson
32 Abstraction and modularization		Objects first with Java: a practical introduction using BlueJ	Barnes, Barnes David John; Kölling, Michael	2008;2009	Prentice Hall
32 Abstraction and modularization		Objects First with Java: A Practical Introduction Using BlueJ	David J. Barnes & Michael Kölling	2016	Pearson
Modularization Provides Abstraction		Programming Logic and Design, Comprehensive	Joyce Farrell	2018	Cengage Learning
From Lattices to Practical Formal Hardware Verification	C. Seger	Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2. 2, 2. 3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA	David Gries; Willem-Paul de Roever	1998	Springer US
Modularization Provides Abstraction and Eliminates Repetition		Just Enough Programming Logic and Design	Joyce Farrell	2009	Course Technology
Constraints, abstraction, and verification	Daniel Weise	Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings	Miriam Leeser; Geoffrey Brown	1st ed. 1990	Springer New York
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
formal verification		A Dictionary of Computer Science (Oxford Quick Reference)	Andrew Butterfield (editor), Gerard Ekembe Ngondi (editor), Anne Kerr (editor)	2016	Oxford University Press
Formal verification		Understanding Distributed Systems - 2nd Edition	Roberto Vitillo	2022	Roberto Vitillo
Formal Verification		Building Blockchain Apps	Michael Yuan	2019	Addison-Wesley Professional
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Modularization and abstraction: The keys to practical formal verification" - similar Books and Chapters