Automated Technology for Verification and Analysis 1
bokomslag Automated Technology for Verification and Analysis
Data & IT

Automated Technology for Verification and Analysis

S Akshay • Aina Niemetz • Sriram Sankaranarayanan

Pocket

2469:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 276 sidor
  • 2025
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumesare organized in the following topical sections: Part I:Invited Keynote and Tutorial Papers;Automata and Games;Concurrent and Distributed Systems;Learning for Verification and Synthesis. Part II:Synthesis and Runtime Verification;Software Verification and Programming Language Semantics;Automated Reasoning and Verification.
  • Författare: S Akshay, Aina Niemetz, Sriram Sankaranarayanan
  • Format: Pocket/Paperback
  • ISBN: 9783031787492
  • Språk: Engelska
  • Antal sidor: 276
  • Utgivningsdatum: 2025-02-12
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Automated Verification of Concurrent Search Structures

    Automated Verification of Concurrent ...

    Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies

    Pocket

    799:-
  2. bokomslag Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme

    Automatisierte Analyse von virtuellen...

    Rolf Drechsler Mehran Goli

    Inbunden

    1469:-
  3. bokomslag Introduction to Verification of Visualization Techniques

    Introduction to Verification of Visua...

    Tiago Etiene, Robert M Kirby, Cláudio T Silva

    Pocket

    409:-
  4. bokomslag Information Verification in the Digital Age

    Information Verification in the Digit...

    Nora Martin

    Pocket

    299:-
  5. bokomslag Automated Technology for Verification and Analysis

    Automated Technology for Verification...

    S Akshay, Aina Niemetz, Sriram Sankaranarayanan

    Pocket

    1849:-
  6. bokomslag Digital System Verification

    Digital System Verification

    Mitchel Thornton Lun Li

    Pocket

    409:-
  7. bokomslag Decidability of Parameterized Verification

    Decidability of Parameterized Verific...

    Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov

    Pocket

    669:-
  8. bokomslag Concise Introduction to Models and Methods for Automated Planning

    Concise Introduction to Models and Me...

    Blai Bonet Hector Geffner

    Pocket

    469:-
  9. bokomslag Automated Software Diversity

    Automated Software Diversity

    Per Larsen, Stefan Brunthaler, Lucas Davi, Ahmad-Reza Sadeghi, Michael Franz

    Pocket

    419:-
  10. bokomslag Automated Metadata in Multimedia Information Systems

    Automated Metadata in Multimedia Info...

    Michael Christel

    Pocket

    299:-

Andra av samma författare

  1. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Natasha Sharygina Sriram Sankaranaray...

    Pocket

    579:-
  2. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Natasha Sharygina Sriram Sankaranaray...

    Pocket

    579:-
  3. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi

    Pocket

    1049:-
  4. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi

    Pocket

    1049:-
  5. bokomslag Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed...

    Enrico Vicario Sriram Sankaranarayanan

    Pocket

    749:-