"Checking and Distributing Statistical Model Checking"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
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,
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
Handbook of Model Checking	Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem	1st ed. 2018	Springer International Publishing
Principles of model checking /	Baier, Christel.; Katoen, Joost-Pieter.	[2008?]	The MIT Press,
Model Checking Quantum Systems: Principles and Algorithms	Mingsheng Ying; Yuan Feng	2021-02	Cambridge University Press
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
Abstraction Refinement for Large Scale Model Checking	Chao Wang; Gary D. Hachtel; Fabio Somenzi	2006	Springer US
Unfoldings: A Partial-Order Approach to Model Checking	Javier Esparza; Keijo Heljanko	2008	Springer Berlin Heidelberg
25 Years of Model Checking: History, Achievements, Perspectives	Orna Grumberg; Helmut Veith	2008	Springer Berlin Heidelberg
Bayesian Model Selection and Statistical Modeling	Tomohiro Ando	2010	Routledge
Statistical Mechanics: Fundamentals and Model Solutions	Teunis C. Dorlas	2021	Routledge
Statistical mechanics: fundamentals and model solutions /	Dorlas, T. C.	©1999.	Institute of Physics Pub.,
Statistical Mechanics: Fundamentals and Model Solutions,	Dorlas	January 1, 1999	Taylor & Francis
Methods of Statistical Model Estimation	Joseph Hilbe; Andrew Robinson	2013	Routledge
Procedures and statistical methodology of model validation	Arrison, James Mathew III	1969	Naval Postgraduate School
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Kleuker S.	2009	Vieweg
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Stephan Kleuker (auth.)	2009	Vieweg+Teubner Verlag
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Stephan Kleuker (auth.)	2009	Vieweg+Teubner Verlag
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
Checking and Distributing Statistical Model Checking	Peter Bulychev; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikučionis; Danny Bøgsted Poulsen	NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings	Alwyn Goodloe; Suzette Person	2012	Springer Berlin Heidelberg
Statistical Model Checking	Axel Legay; Anna Lukina; Louis Marie Traonouez; Junxing Yang; Scott A. Smolka; Radu Grosu	Computing and Software Science: State of the Art and Perspectives	Bernhard Steffen; Gerhard Woeginger	1st ed. 2019	Springer International Publishing
STATISTICAL INFERENCE AND MODEL CHECKING		An Introduction to Categorical Data Analysis [3rd ed. ]	Alan Agresti	2019	Wiley
Deep Statistical Model Checking	Timo P. Gros; Holger Hermanns; Jörg Hoffmann; Michaela Klauck; Marcel Steinmetz	Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings	Alexey Gotsman; Ana Sokolova	1st ed. 2020	Springer International Publishing
Statistical Model Checking: An Overview	Axel Legay; Benoît Delahaye; Saddek Bensalem	Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings	Howard Barringer; Ylies Falcone; Bernd Finkbeiner; Klaus Havelund; Insup Lee; Gordon Pace; Grigore Rosu; Oleg Sokolsky; Nikolai Tillmann	2010	Springer Berlin Heidelberg
Priced Timed Automata and Statistical Model Checking	Kim Guldstrand Larsen	Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings	Einar Broch Johnsen; Luigia Petre	2013	Springer Berlin Heidelberg
Statistical Model Checking: Past, Present, and Future	Kim G. Larsen; Axel Legay	Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	1st ed. 2016	Springer International Publishing
Statistical Model Checking Past, Present, and Future	Kim G. Larsen; Axel Legay	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II	Tiziana Margaria; Bernhard Steffen	2014	Springer Berlin Heidelberg
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking	Lei Bu; Doron Peled; Dachuan Shen; Yuan Zhuang	Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings	María del Mar Gallardo; Pedro Merino	1st ed. 2018	Springer International Publishing
Statistical Model Checking Using Perfect Simulation	Diana El Rabih; Nihal Pekergin	Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings	Zhiming Liu; Anders P. Ravn	2009	Springer Berlin Heidelberg
Statistical Model Checking for Product Lines	Maurice H. ter Beek; Axel Legay; Alberto Lluch Lafuente; Andrea Vandin	Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	1st ed. 2016	Springer International Publishing
Statistical Model Checking with Change Detection	Axel Legay; Louis-Marie Traonouez	Transactions on Foundations for Mastering Change I	Bernhard Steffen	1st ed. 2016	Springer International Publishing
Statistical Model Checking for Traffic Models	B. Thamilselvam; Subrahmanyam Kalyanasundaram; Shubham Parmar; M. V. Panduranga Rao	Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings	Sérgio Campos; Marius Minea	1st ed. 2021	Springer International Publishing
Statistical Model Checking of LLVM Code	Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen; Louis-Marie Tranouez	Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings	Klaus Havelund; Jan Peleska; Bill Roscoe; Erik de Vink	1st ed. 2018	Springer International Publishing
30 Years of Statistical Model Checking	Kim G. Larsen; Axel Legay	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	1st ed. 2020	Springer International Publishing
Statistical Model Checking: Black or White?	Pranav Ashok; Przemysław Daca; Jan Křetínský; Maximilian Weininger	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	1st ed. 2020	Springer International Publishing
Statistical Model Checking the 2018 Edition!	Kim Guldstrand Larsen; Axel Legay	Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II	Tiziana Margaria; Bernhard Steffen	1st ed. 2018	Springer International Publishing
Coupling and Importance Sampling for Statistical Model Checking	Benoît Barbot; Serge Haddad; Claudine Picaronny	Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings	Cormac Flanagan; Barbara König	2012	Springer Berlin Heidelberg
Maintenance Analysis and Optimization via Statistical Model Checking	Enno Ruijters; Dennis Guck; Peter Drolenga; Margot Peters; Mariëlle Stoelinga	Quantitative Evaluation of Systems: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings	Gul Agha; Benny Van Houdt	1st ed. 2016	Springer International Publishing
Distributing Timed Model Checking — How the Search Order Matters	Gerd Behrmann; Thomas Hune; Frits Vaandrager	Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings	E. Allen Emerson; A. Prasad Sistla	2000	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Checking and Distributing Statistical Model Checking" - similar Books and Chapters