English
Unordered
A Practical Guide to Adopting the Universal Verification Methodology (UVM)
Sharon Rosenberg,Kathleen Meade
2010
مشاهدهٔ کتاب
کشف منابع
Verification
کتابها
30 نتیجه
English
Unordered
The UVM Primer: An Introduction to the Universal Verification Methodology
Ray Salemi
2013
مشاهدهٔ کتاب
English
Intermediate
Handbook of Model Checking
Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem (eds.)
2018
مشاهدهٔ کتاب
English
Intermediate
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Nicolas Blanc,Daniel Kroening (auth.),Marcel Vinícius Medeiros Oliveira,Jim Woodcock (eds.)
2009
مشاهدهٔ کتاب
English
Intermediate
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Michael Leuschel,Jens Bendisposto (auth.),Jim Davies,Leila Silva,Adenilso Simao (eds.)
2011
مشاهدهٔ کتاب
English
Intermediate
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
Harald König,Michael Löwe (auth.),Adenilso Simao,Carroll Morgan (eds.)
2011
مشاهدهٔ کتاب
English
Intermediate
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Christiano Braga,Narciso Martí-Oliet (eds.)
2015
مشاهدهٔ کتاب
English
Intermediate
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
2011
مشاهدهٔ کتاب
English
Unordered
Functional programming languages for verification tools.A comparison of Standard ML and Haskell
Leucker M.
English
Unordered
CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
Jos C. M. Baeten,Bas Luttik,Paul van Tilburg (auth.),Maciej Koutny,Irek Ulidowski (eds.)
2012
مشاهدهٔ کتاب
English
Beginner
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... (Lecture Notes in Computer Science, 3875)
Shmuel Ur (editor),Eyal Bin (editor),Yaron Wolfsthal (editor)
2006
مشاهدهٔ کتاب
English
Beginner
Embedded Software System Testing: Automatic Testing Solution Based on Formal Method
Yongfeng Yin,Bo Jiang
2023
مشاهدهٔ کتاب
English
Beginner
Software Testing and Analysis: Process, Principles, and Techniques
Mauro Pezzè,Michal Young
2008
مشاهدهٔ کتاب
English
Beginner
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Jim Woodcock,Victor Bandur (auth.),Burkhart Wolff,Marie-Claude Gaudel,Abderrahmane Feliachi (eds.)
2013
مشاهدهٔ کتاب
English
Beginner
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Jonathan P. Bowen,Huibiao Zhu (eds.)
2017
مشاهدهٔ کتاب
English
Unordered
Hardware Verification With SystemVerilog: An Object-oriented Framework
Mike Mintz,Robert Ekendahl
2007
مشاهدهٔ کتاب
English
Advanced
Principles of Model Checking
Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen
2008
مشاهدهٔ کتاب
English
Unordered
CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings
Tony Andrews,Shaz Qadeer,Sriram K. Rajamani,Jakob Rehof,Yichen Xie (auth.),Philippa Gardner,Nobuko Yoshida (eds.)
2004
مشاهدهٔ کتاب
English
Unordered
CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings
Dawson Engler (auth.),Martín Abadi,Luca de Alfaro (eds.)
2005
مشاهدهٔ کتاب
English
Unordered
Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers
Timothy N. Wright,T. C. Nicholas Graham,Tore Urnes (auth.),Philippe Palanque,Fabio Paternò (eds.)
2001
مشاهدهٔ کتاب
English
Unordered
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
Ann Blandford,Paul Curzon,Joanne Hyde (auth.),T. C. Nicholas Graham,Philippe Palanque (eds.)
2008
مشاهدهٔ کتاب