"Formal methods of program verification and specification"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Formal methods of program verification and specification	H. K. Berg	1982	Prentice-Hall
Formal specification and verification of digital systems /	Milne, George J.,	[1994], ©1994.	McGraw-Hill,
Real-Time Systems: Formal Specification and Automatic Verification	Ernst-Rüdiger Olderog; Henning Dierks	2008-09	Cambridge University Press
An introduction to formal program verification	Ali Mili	1985	Van Nostrand Reinhold Co.
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 Specification Level: Concepts, Methods, and Algorithms	Mathias Soeken, Rolf Drechsler (auth.)	2015	Springer International Publishing
Formal Specification Level: Concepts, Methods, and Algorithms	Mathias Soeken; Rolf Drechsler	2015	Springer International Publishing
Formal Hardware Verification: Methods and Systems in Comparison	Thomas Kropf	1997	Springer Berlin Heidelberg
Software specification: a comparison of formal methods /	Gannon, John D.,; Purtilo, James.; Zelkowitz, Marvin V.,	[1994], ©1994.	Ablex Pub. Co.,
Symbolic Simulation Methods for Industrial Formal Verification	Robert B. Jones	2002	Springer US
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
Compiler Specification and Verification	W. Polak	1981	Springer Berlin Heidelberg
Industrial Used of Formal Method: Formal Verification	Jean-Louis Boulanger	2012	John Wiley & Sons
Digital System Verification: A Combined Formal Methods and Simulation Framework	Lun Li; Mitchel Thornton		Springer International Publishing
Formal Specification and Design	L. M. G. Feijs; H. B. M. Jonkers	1992-10	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 Specification and Verification	Phillip C.-Y. Sheu	Software Engineering and Environment: An Object-Oriented Perspective	Phillip C.-Y. Sheu	1997	Springer US
FORMAL PROGRAM VERIFICATION		Wiley Encyclopedia of Computer Science and Engineering, 5-Volume Set	Benjamin W. Wah	2009	Wiley-Interscience
5 Formal Specification and Verification		Concurrency	Dahlia Malkhi	2019	Association for Computing Machinery
Formal Specification and Verification of ARM6	Anthony Fox	Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings	David Basin; Burkhart Wolff	2003	Springer Berlin Heidelberg
Formal Specification and Verification of CRDTs	Peter Zeller; Annette Bieniusa; Arnd Poetzsch-Heffter	Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6. 1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings	Erika Ábrahám; Catuscia Palamidessi	2014	Springer Berlin Heidelberg
Formal specification and verification of VHDL	Mark Bickford; Damir Jamsek	Formal Methods in Computer-Aided Design: First International Conference, FMCAD ' 96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings	Mandayam Srivas; Albert Camilleri	1996	Springer Berlin Heidelberg
Formal specification methods	J. E. Cooling	Software Design for Real-time Systems	J. E. Cooling	1991	Springer US
Formal Methods and Verification	Brian T. Graham	The SECD Microprocessor: A Verification Case Study	Brian T. Graham	1992	Springer US
Formal foundation for specification and verification		Distributed Systems: Methods and Tools for Specification. An Advanced Course	M.W. Alford; J.P. Ansart; G. Hommel; L. Lamport; B. Liskov; G.P. Mullery; F.B. Schneider; Manfred Paul; H.J. Siegert	1985	Springer Berlin Heidelberg
Formal Specification and Verification of Smart Contracts	Jiao Jiao	Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings	Yamine Ait-Ameur; Shengchao Qin	1st ed. 2019	Springer International Publishing
Formal Specification for Hardware Verification	H. Shojai; Z. Navabi	Microelectronics Education: Proceedings of the 5th European Workshop on Microelectronics Education, held in Lausanne, Switzerland, April 15–16, 2004	Adrian M. Ionescu; Michel Declercq; Maher Kayal; Yusuf Leblebici	2004	Springer Netherlands
12. Specification and Formal Methods.		Formal specification using Z: a modelling approach /	Bottaci, Leon.; Jones, John.	1995.	International Thomson Publishing,
Classification of Formal Specification Methods	V. S. Alagar; K. Periyasamy	Specification of Software Systems	V.S. Alagar; K. Periyasamy	2nd ed. 2011	Springer London
Formal methods & service specification	Mícheál Mac an Airchinnigh; Dag Belsnes; Gerard O'; Regan	Towards a Pan-European Telecommunication Service Infrastructure - IS& N ' 94: Second International Conference on Intelligence in Broadband Services and Networks, Aachen, Germany, September 7 - 9, 1994. Proceedings	Hans-Jürgen Kugler; Al Mullery; Norbert Niebert	1994	Springer Berlin Heidelberg
152 Verification and Formal Methods		CyBok: The Cyber Security Body of Knowledge	Awais Rashid; Howard Chivers; George Danezis; Emil Lupu; Andrew Martin	2019	National Cyber Security Centre
1511 Verification and formal methods		Software Engineering, 9th Edition	Ian Sommerville	2011	Addison-Wesley
Program Specification and Verification in VDM	C. B. Jones	Logic of Programming and Calculi of Discrete Design: International Summer School directed by F. L. Bauer, M. Broy, E. W. Dijkstra, C. A. R. Hoare	Manfred Broy	1987	Springer Berlin Heidelberg
Tools for Formal Specification, Formal Verification, and Validation of Requirements	Constance Heitmeyer, James Kirby and Bruce Labaw	COMPASS '97: Are we making progress towards computer assurance? June 16-19, 1997, National Institute of Standards and Technology, Gaithersburg, Maryland /	COMPASS (Conference) (12th 1997 Gaithersburg, Maryland); IEEE Aerospace & Electronics Systems Soc; Institute of Electrical and Electronics Engineers	[1997], ©1997.	IEEE Service Center,
Formal specification and verification of secure communication protocols	Svein J. Knapskog	Advances in Cryptology - AUSCRYPT ' 90: International Conference on Cryptology Sydney, Australia, January 8-11, 1990	Jennifer Seberry; Josef Pieprzyk	1990	Springer Berlin Heidelberg
Formal specification and verification of the pGVT algorithm	Balakrishnan Kannikeswaran; Radharamanan Radhakrishnan; Peter Frey; Perry Alexander; Philip A. Wilsey	FME ' 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14. 3, Oxford, UK, March 18 - 22, 1996. Proceedings.	Marie-Claude Gaudel; James Woodcock	1996	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Formal methods of program verification and specification" - similar Books and Chapters