Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Arie Gurfinkel,Vijay Ganesh

Springer Nature Proceedings Computer Science

電子書籍を購入

無料

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783031656309
発売日　2024年7月24日
出版社：Springer Nature Switzerland

出版社： Springer
ファイル形式　EPUB3
サイズ　32.19 MB
ダウンロードオプション:EPUB3 (Adobe DRM)

シリーズの内容

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel,Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel,Marijn Heule

Computer Aided Verification

Arie Gurfinkel,Vijay Ganesh

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel,Sanjit A. Seshia

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel,Marijn Heule

Computer Aided Verification

Arie Gurfinkel,Vijay Ganesh

関連書籍

Formal Methods

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

無料

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

無料

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

無料

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

無料

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

無料

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

無料

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

無料

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

無料

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

無料

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

無料

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

無料

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

無料

Computer Aided Verification

Isil Dillig, Serdar Tasiran

無料

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner, Laura Kovács

無料

Computer Aided Verification

Isil Dillig, Serdar Tasiran

無料

Data Mining

Jiawei Han, Jian Pei, Hanghang Tong

7,507 円

Computer Aided Verification

Constantin Enea, Akash Lal

無料

Computer Aided Verification

Sharon Shoham, Yakir Vizel

無料

Computer Aided Verification

Sharon Shoham, Yakir Vizel

無料

Computer Aided Verification

Constantin Enea, Akash Lal

無料

Computer Aided Verification

Constantin Enea, Akash Lal

無料

Formal Methods

Augusto Sampaio, Marielle Stoelinga

無料

Formal Methods

Augusto Sampaio, Marielle Stoelinga

無料

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

9,116 円

Runtime Verification

Yliès Falcone, César Sánchez

6,076 円

Verification, Model Checking, and Abstract Interpretation

Rayna Dimitrova, Ori Lahav, Sebastian Wolff

9,116 円

Runtime Verification

Panagiotis Katsaros, Laura Nenzi

8,507 円

Formal Methods

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

13,369 円

AI Verification

Mirco Giacobbe, Anna Lukina

7,049 円

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

Tiziana Margaria, Bernhard Steffen

10,331 円

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

9,116 円

Static Analysis

Hakjoo Oh, Yulei Sui

8,994 円

Formal Methods

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

12,154 円

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

15,800 円

Runtime Verification

Lu Feng, Dana Fisman

9,116 円

Integrated Formal Methods

Ferruccio Damiani, Marie Farrell

8,021 円

Theoretical Aspects of Software Engineering

Yamine Aït-Ameur, Florin Crăciun

10,331 円

Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

6,076 円

Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology

Raphaël C.-W. Phan, Moti Yung

6,076 円

Static Analysis

Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi

9,723 円

Dependable Software Engineering. Theories, Tools, and Applications

Holger Hermanns, Jun Sun, Lei Bu

9,723 円

Lectures on Runtime Verification

Ezio Bartocci, Yliès Falcone

7,900 円

Theoretical Aspects of Software Engineering

Philipp Rümmer, Zhilin Wu

9,116 円

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

Tiziana Margaria, Bernhard Steffen

10,331 円

Formal Methods and Software Engineering

Yi Li, Sofiène Tahar

7,900 円

Formal Methods and Software Engineering

Shang-Wei Lin, Zhe Hou, Brendan Mahony

6,076 円

Automated Technology for Verification and Analysis

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

9,116 円

Runtime Verification

Jyotirmoy Deshmukh, Dejan Ničković

6,076 円

Formal Methods for Industrial Critical Systems

Anne E. Haxthausen, Wendelin Serwe

7,900 円

Model Checking Software

Georgiana Caltais, Christian Schilling

6,685 円

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

6,076 円

Computer Aided Verification

Ruzica Piskac, Zvonimir Rakamarić

無料

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

10,938 円

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

6,076 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Cryptology and Network Security

Sara Foresti, Giuseppe Persiano

6,076 円

Automated Technology for Verification and Analysis

Étienne André, Jun Sun

9,116 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Database and Expert Systems Applications

Sven Hartmann, Josef Küng, Gabriele Kotsis, A Min Tjoa, Ismail Khalil

10,938 円

Dependable Software Engineering. Theories, Tools, and Applications

Amir Goharshady, Christoph Haase

8,994 円

Verification, Model Checking, and Abstract Interpretation

Rayna Dimitrova, Ori Lahav, Sebastian Wolff

9,116 円

Runtime Verification

Thao Dang, Volker Stolz

8,021 円

Runtime Verification

Erika Ábrahám, Houssam Abbas

6,685 円

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

9,723 円

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

9,116 円

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

6,076 円

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

8,507 円

Automated Technology for Verification and Analysis

S. Akshay, Aina Niemetz, Sriram Sankaranarayanan

18,231 円

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria, Bernhard Steffen

12,154 円

Dependable Software Engineering. Theories, Tools, and Applications

Wei Dong, Jean-Pierre Talpin

7,900 円

Formal Methods and Software Engineering

Luke Ong, Zhenhua Duan

6,076 円

The Semantic Web

Edward Curry, Maribel Acosta, Maria Poveda-Villalón, Marieke van Erp, Adegboyega Ojo, Katja Hose, Cogan Shimizu, Pasquale Lisena

9,116 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

12,154 円

Integrated Formal Methods

Nikolai Kosmatov, Laura Kovács

17,016 円

NASA Formal Methods

Nathaniel Benz, Divya Gopinath, Nija Shi

15,800 円

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

6,076 円

Computer Aided Verification

Ruzica Piskac, Zvonimir Rakamarić

無料

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

12,154 円

Information Security Practice and Experience

Chunhua Su, Hiroaki Kikuchi

6,076 円

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

6,076 円

Dependable Software Engineering. Theories, Tools, and Applications

Shengchao Qin, Jim Woodcock, Wenhui Zhang

9,116 円

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Pierre Schaus

9,723 円

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

12,154 円

Dependable Software Engineering. Theories, Tools, and Applications

Timothy Bourke, Liqian Chen, Amir Goharshady

9,723 円

Programming Languages and Systems

Bruno C. d. S. Oliveira

6,076 円

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

6,076 円

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

7,292 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Tiziana Margaria, Bernhard Steffen

9,723 円

Topics in Cryptology – CT-RSA 2018

Nigel P. Smart

6,076 円

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

8,507 円

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu

6,076 円

NASA Formal Methods

Aaron Dutle, César Muñoz, Anthony Narkawicz

6,076 円

その他の著書

Computer Aided Verification

Arie Gurfinkel, Vijay Ganesh

無料

Computer Aided Verification

Arie Gurfinkel, Vijay Ganesh

無料

Foundational Principles of AI Governance and Policy

Ann Fitz-Gerald, Vijay Ganesh, Jatin Nathwani, Maral Niazi, Münür Sacit Herdem

14,585 円

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel, Marijn Heule

無料

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

6,076 円

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

9,116 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

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

Verified Software: Theories, Tools, and Experiments

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

関連書籍

Formal Methods

Tools and Algorithms for the Construction and Analysis of Systems

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

Fundamental Approaches to Software Engineering

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

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Data Mining

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Formal Methods

Formal Methods

Verification, Model Checking, and Abstract Interpretation

Runtime Verification

Verification, Model Checking, and Abstract Interpretation

Runtime Verification

Formal Methods

AI Verification

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

Theoretical Aspects of Software Engineering

Static Analysis

Formal Methods

NASA Formal Methods

Runtime Verification

Integrated Formal Methods

Theoretical Aspects of Software Engineering

Automated Technology for Verification and Analysis

Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology

Static Analysis

Dependable Software Engineering. Theories, Tools, and Applications

Lectures on Runtime Verification

Theoretical Aspects of Software Engineering

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

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Automated Technology for Verification and Analysis

Runtime Verification

Formal Methods for Industrial Critical Systems

Model Checking Software

Formal Methods and Software Engineering

Computer Aided Verification

Verification, Model Checking, and Abstract Interpretation

Software Engineering and Formal Methods

Formal Methods and Software Engineering

Cryptology and Network Security

Automated Technology for Verification and Analysis

Tools and Algorithms for the Construction and Analysis of Systems

Database and Expert Systems Applications

Dependable Software Engineering. Theories, Tools, and Applications

Verification, Model Checking, and Abstract Interpretation

Runtime Verification

Runtime Verification

Software Engineering and Formal Methods

Integrated Formal Methods

Tools and Algorithms for the Construction and Analysis of Systems