"Systems and Software Verification: Model-Checking Techniques and Tools"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Systems and Software Verification: Model-Checking Techniques and Tools	B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen	2001	Springer Berlin Heidelberg
Modelling Systems: Practical Tools and Techniques in Software Development	John Fitzgerald; Peter Gorm Larsen	2009-06	Cambridge University Press
Model Checking Quantum Systems: Principles and Algorithms	Mingsheng Ying; Yuan Feng	2021-02	Cambridge University Press
Model checking /	Clarke, Edmund M.,		The MIT Press
Model checking /	Clarke, Edmund M.,; Grumberg, Orna.; Peled, Doron A.,	c1999.	MIT Press,
Model checking /	Clarke, Edmund M.,; Grumberg, Orna,; Peled, Doron A.,	©1999.	MIT Press,
Software Project Measurement: Tools and Techniques	Monica Mehrotra; Mukta Narang	2014	Alpha Science International, Limited
Practical Software Development Techniques: Tools and Techniques for Building Enterprise Software	Edward Crookshanks	1st ed.	Apress
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions	Kazi Sakib; Zahir Tari; Peter Bertok	2014	Wiley-IEEE Press
Verification and Validation of Modern Software-Intensive Systems	G. Gordon Schulmeyer; Garth R. Mackenzie	October 2, 2000	Prentice Hall PTR
SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings	Klaus Havelund; John Penix; Willem Visser	2000	Springer Berlin Heidelberg
Knowledge Cartography: Software Tools and Mapping Techniques	Alexandra Okada; Simon J. Buckingham Shum; Tony Sherborne	2nd ed. 2014	Springer London
Knowledge Cartography: Software Tools and Mapping Techniques	Alexandra Okada; Simon J. Buckingham Shum; Tony Sherborne	2008	Springer London
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
Architectural model building: tools, techniques, and materials /	Congdon, Roark T.	2010.	Fairchild Books,
Management information systems: tools and techniques	William A. Bocchino	1972	Prentice-Hall
Network management: techniques, tools, and systems	Gilbert Held	1992	J. Wiley
Simulating computer systems: techniques and tools	M. H. MacDougall	1987	MIT Press
Structured systems analysis: tools and techniques	Chris Gane	1979	Prentice-Hall
Software Tools and Algorithms for Biological Systems	Hamid Arabnia; Quoc-Nam Tran	2011	Springer New York
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
Software Verification: Testing vs. Model Checking	Dirk Beyer; Thomas Lemberger	Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings	Ofer Strichman; Rachel Tzoref-Brill	1st ed. 2017	Springer International Publishing
Model Checking and Verification	Craig Mallinckrodt; Ilya Lipkovich	Analyzing Longitudinal Clinical Trial Data: A Practical Guide	Craig Mallinckrodt; Ilya Lipkovich	2016	Routledge
Between Testing and Verification: Dynamic Software Model Checking		Dependable software systems engineering	Esparza, Javier(Editor); Grumberg, Orna(Editor); Sickert, Salomon(Editor)	2016	Ios Pr Inc; IOS Press
Incremental Benchmarks for Software Verification Tools and Techniques	Bruce W. Weide; Murali Sitaraman; Heather K. Harton; Bruce Adcock; Paolo Bucci; Derek Bronish et al.	Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings	Natarajan Shankar; Jim Woodcock	2008	Springer Berlin Heidelberg
Tools for Model-Checking Timed Systems	Alexandre David; Gerd Behrmann; Peter Bulychev; Joakim Byg; Thomas Chatain; Kim G. Larsen; Paul Pettersson; Jacob Illum Rasmussen; Jiří Srba; Wang Yi; Kenneth Y. Joergensen; Didier Lime; Morgan Magnin; Olivier H. Roux; Louis-Marie Traonouez	Communicating Embedded Systems for Computer Science	Claude Jard	2009	John Wiley & Sons
Reviewing and Classification of Software Model Checking Tools	Mogeeb A. A. Mosleh; Musaed A. Alhussein; Mohd Sapiyan Baba; Sorayya Malek; Sitihafizah ab Hamid	Advanced Computer and Communication Engineering Technology: Proceedings of ICOCOE 2015	Hamzah Asyrani Sulaiman; Mohd Azlishah Othman; Mohd Fairuz Iskandar Othman; Yahaya Abd Rahim; Naim Che Pee	1st ed. 2016	Springer International Publishing
Model checking and modular verification	Orna Grumberg; David E. Long	CONCUR ' 91: 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings	Jos C.M. Baeten; Jan F. Groote	1991	Springer Berlin Heidelberg
Compositional Model-Checking Verification of Critical Systems	Luis E. Mendoza; Manuel I. Capel; María Pérez; Kawtar Benghazi	Enterprise Information Systems: 10th International Conference, ICEIS 2008, Barcelona, Spain, June 12-16, 2008, Revised Selected Papers	Joaquim Filipe; José Cordeiro	2009	Springer Berlin Heidelberg
Scalable Software Model Checking Using Design for Verification	Tevfik Bultan; Aysu Betin-Can	Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2. 3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions	Bertrand Meyer; Jim Woodcock	2008	Springer Berlin Heidelberg
Software Analysis and Model Checking	Gerard_J. Holzmann	Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings	Ed Brinksma; Kim G. Larsen	2002	Springer Berlin Heidelberg
Tutorial: Software Model Checking	Edmund Clarke; Daniel Kroening	Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings	Jim Davies; Wolfram Schulte; Mike Barnett	2004	Springer Berlin Heidelberg
28. Software Model Checking	Gerard J. Holzmann and Margaret H. Smith.	Formal methods for protocol engineering and distributed systems: FORTE XII/PSTV XIX'99: IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX): October 5-8, 1999, Beijing, China /	Wu, Jianping,; Chanson, Samuel T.; Gao, Qiang,	1999.	Kluwer Academic,
Validation and Verification Techniques and Tools	Christine M. Belcastro	Encyclopedia of Systems and Control	John Baillieul; Tariq Samad	1st ed. 2015	Springer London
Validation and Verification Techniques and Tools	Christine M. Belcastro	Encyclopedia of Systems and Control	John Baillieul; Tariq Samad	2nd ed. 2021	Springer International Publishing
Validation and Verification Techniques and Tools	Christine M. Belcastro	Encyclopedia of Systems and Control	John Baillieul; Tariq Samad	0th ed. 2020	Springer London
Simulation and verification tools and techniques		Automotive E/E reliability: strategies for keeping pace in a feature-rich world	John Day	2011	SAE International
Simulation and Verification Tools and Techniques		Automotive E/E/ Reliability: Strategies for Keeping Pace in a Feature-Rich World	John Day	2012	SAE
Parameterized Model Checking Tools	Roderick Bloem; Ayrat Khalimov; Swen Jacobs; Igor Konnov; Helmut Veith; Josef Widder et al.	Decidability of Parameterized Verification	Roderick Bloem; Swen Jacobs; Ayrat Kalimov; Igor Konnov		Springer International Publishing
HORNSAT, model checking, verification and games	Sandeep K. Shukla; Harry B. Hunt Jr; Daniel J. Rosenkrantz	Computer Aided Verification: 8th International Conference, CAV ' 96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings	Rajeev Alur; Thomas Henzinger	1996	Springer Berlin Heidelberg
Verification, Model Checking and Abstract Interpretation		Logic Programming: The 1997 International Symposium	Jan Maluszyński	1997	MIT Press,
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Systems and Software Verification: Model-Checking Techniques and Tools" - similar Books and Chapters