Model Checking Software

28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen,Grigore Rosu

Springer Nature Proceedings Computer Science

Comprar el eBook

Ahorra 10 %Precio de venta: $112.371 CLP.$101.133CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783031150777
Fecha de lanzamiento:3 dic 2022
Editorial:Springer International Publishing

Edición:Springer
Formato de archivo:EPUB3
Tamaño de archivo:12.39 MB
Opciones de descarga:EPUB3 (Adobe DRM)

Lecturas relacionadas

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

$212.175

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

$50.561

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

$78.657

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

$89.895

Tests and Proofs

Laura Kovács, Karl Meinke

$56.180

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$56.180

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

$101.133

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

$84.276

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

$56.180

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

$56.180

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

$84.276

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$56.180

Formal Aspects of Component Software

Kyungmin Bae, Peter Csaba Ölveczky

$56.180

It's All About Coordination

Frank de Boer, Marcello Bonsangue, Jan Rutten

$56.180

Model Checking Software

Dragan Bošnački, Anton Wijs

$56.180

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

$56.180

Formal Aspects of Component Software

Silvia Lizeth Tapia Tarifa, José Proença

$73.037

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

$56.180

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

$56.180

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

$56.180

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

$56.180

Automated Technology for Verification and Analysis

Ahmed Bouajjani, Lukáš Holík, Zhilin Wu

$84.276

Fundamentals of Software Engineering

Farhad Arbab, Marjan Sirjani

$56.180

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

$56.180

Formal Methods

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

$112.372

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

$56.180

NASA Formal Methods

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez

$95.514

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

$134.848

Formal Methods and Software Engineering

Shang-Wei Lin, Zhe Hou, Brendan Mahony

$56.180

Formal Methods: Foundations and Applications

Simone Cavalheiro, José Fiadeiro

$73.037

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

$56.180

Algorithmic Aspects of Cloud Computing

Dan Alistarh, Alex Delis, George Pallis

$44.943

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

$67.418

Verified Software. Theories, Tools, and Experiments

Andrei Paskevich, Thomas Wies

$56.180

Automated Technology for Verification and Analysis

K. Narayan Kumar, Deepak D'Souza

$56.180

Principles and Practice of Constraint Programming

Michel Rueher

$101.133

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

$56.180

Runtime Verification

Yliès Falcone, César Sánchez

$56.180

Next Generation Arithmetic

John Gustafson, Vassil Dimitrov

$67.418

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

$78.657

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro

$56.180

Software Verification

Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina

$61.799

Runtime Verification

Lu Feng, Dana Fisman

$84.276

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

$84.276

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$56.180

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

$78.657

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

$157.317

Model Checking Software

Georgiana Caltais, Christian Schilling

$61.799

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Pierre Schaus

$89.895

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$56.180

Formal Modeling and Analysis of Timed Systems

Nathalie Bertrand, Nils Jansen

$56.180

Advanced Boolean Techniques

Rolf Drechsler, Sebastian Huhn

$123.609

Hardware and Software: Verification and Testing

Roderick Bloem, Eli Arbel

$56.180

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$101.133

Fundamentals of Software Engineering

Mehdi Dastani, Marjan Sirjani

$56.180

Model Checking, Synthesis, and Learning

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi

$73.037

Models and Analysis for Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

$142.723

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$56.180

Hardware and Software: Verification and Testing

Nir Piterman

$52.809

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$101.133

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$101.133

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Tiziana Margaria, Bernhard Steffen

$95.514

Testing Software and Systems

Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün

$56.180

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Willem-Jan van Hoeve

$56.180

Data Mining and Constraint Programming

Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Static Analysis

Xavier Rival

$56.180

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

$101.133

Theory and Applications of Satisfiability Testing – SAT 2017

Serge Gaspers, Toby Walsh

$56.180

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

$56.180

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Model Checking Software

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Modeling and Verification of Real-time Systems

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Formal Aspects of Component Software

Computer Aided Verification

Fundamentals of Software Engineering

Software Engineering and Formal Methods

Tests and Proofs

Critical Systems: Formal Methods and Automated Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Verification, Model Checking, and Abstract Interpretation

Automated Technology for Verification and Analysis

Computer Aided Verification

Software Engineering and Formal Methods

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Formal Methods and Software Engineering

Formal Aspects of Component Software

It's All About Coordination

Model Checking Software

Verified Software. Theories, Tools, and Experiments

Formal Aspects of Component Software

NASA Formal Methods

Integrated Formal Methods

Formal Modeling and Analysis of Timed Systems

Dependable Software Engineering: Theories, Tools, and Applications

Automated Technology for Verification and Analysis

Fundamentals of Software Engineering

Verification, Model Checking, and Abstract Interpretation

Computer Aided Verification

Automated Technology for Verification and Analysis

Formal Methods

Theoretical Aspects of Computing – ICTAC 2017

NASA Formal Methods

NASA Formal Methods

Formal Methods and Software Engineering

Formal Methods: Foundations and Applications

FM 2016: Formal Methods

Algorithmic Aspects of Cloud Computing

Formal Methods and Software Engineering

Fundamentals of Software Engineering

Verified Software. Theories, Tools, and Experiments

Automated Technology for Verification and Analysis

Principles and Practice of Constraint Programming

Formal Techniques for Safety-Critical Systems

Runtime Verification

Next Generation Arithmetic

Formal Methods for Industrial Critical Systems

Formal Aspects of Component Software

Software Verification

Runtime Verification

Theoretical Aspects of Software Engineering

Perspectives of System Informatics

Formal Techniques for Distributed Objects, Components, and Systems

Tractability