top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel
Autore Shoham Sharon
Pubbl/distr/stampa Cham, : Springer Nature, 2022
Descrizione fisica 1 online resource (560 pages) : illustrations (black and white)
Altri autori (Persone) VizelYakir
Collana Lecture notes in computer science
Soggetto topico Computer software - Verification
Soggetto non controllato architecting
architecture verification and validation
artificial intelligence
computer programming
computer science
computer systems
databases
distributed computer systems
embedded systems
engineering
formal languages
formal logic
linguistics
mathematics
model checking
software architecture
software design
software engineering
software quality
theoretical computer science
ISBN 3-031-13188-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996485664103316
Shoham Sharon  
Cham, : Springer Nature, 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel
Autore Shoham Sharon
Pubbl/distr/stampa Cham, : Springer Nature, 2022
Descrizione fisica 1 online resource (563 pages) : illustrations (black and white)
Disciplina 005.14
Collana Lecture Notes in Computer Science
Soggetto topico Computer software - Verification
Soggetto non controllato architecting
architecture verification and validation
artificial intelligence
computer programming
computer science
computer systems
distributed computer systems
distributed systems
embedded systems
formal logic
mathematics
model checking
programming languages
software architecture
software design
software engineering
software quality
theoretical computer science
verification
verification and validation
ISBN 3-031-13185-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996485664203316
Shoham Sharon  
Cham, : Springer Nature, 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel
Autore Shoham Sharon
Pubbl/distr/stampa Cham, : Springer Nature, 2022
Descrizione fisica 1 online resource (563 pages) : illustrations (black and white)
Disciplina 005.14
Collana Lecture Notes in Computer Science
Soggetto topico Computer software - Verification
Verificació del programari
Soggetto genere / forma Congressos
Llibres electrònics
ISBN 9783031131851
3031131851
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910586580203321
Shoham Sharon  
Cham, : Springer Nature, 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel
Autore Shoham Sharon
Pubbl/distr/stampa Cham, : Springer Nature, 2022
Descrizione fisica 1 online resource (560 pages) : illustrations (black and white)
Altri autori (Persone) VizelYakir
Collana Lecture notes in computer science
Soggetto topico Computer software - Verification
Verificació del programari
Soggetto genere / forma Congressos
Llibres electrònics
ISBN 9783031131882
3031131886
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910586580503321
Shoham Sharon  
Cham, : Springer Nature, 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / / edited by Fritz Henglein, Sharon Shoham, Yakir Vizel
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / / edited by Fritz Henglein, Sharon Shoham, Yakir Vizel
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Descrizione fisica 1 online resource (XV, 604 p. 212 illus., 108 illus. in color.)
Disciplina 005.14
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Natural language processing (Computer science)
Software engineering
Microprogramming
Computers, Special purpose
Theory of Computation
Natural Language Processing (NLP)
Software Engineering
Control Structures and Microprogramming
Special Purpose and Application-Based Systems
ISBN 3-030-67067-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Model Checking Algorithms for Hyperproperties -- Algebra-based Synthesis of Loops and their Invariants -- Generative Program Analysis and Beyond: The Power of Domain-Specific Languages -- Hyperproperties and Infinite-state Systems -- Compositional Model Checking for Multi-Properties -- Decomposing Data Structure Commutativity Proofs with mn-Differencing -- Proving the existence of fair paths in infinite-state systems -- A Self-Certifying Compilation Framework for WebAssembly -- Concurrent and Distributed Systems -- Concurrent Correctness in Vector Space -- Verification of Concurrent Programs Using Petri Net Unfoldings -- Eliminating Message Counters in Synchronous Threshold Automata -- A Reduction Theorem for Randomized Distributed Algorithms under Weak Adversaries -- Checking -- Runtime Abstract Interpretation for Numerical Accuracy and Robustness -- Twinning automata and regular expressions for string static analysis -- Unbounded Procedure Summaries from Bounded Environments -- Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking -- Synthesis and Repair -- Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible -- Automated Repair of Heap-Manipulating Programs using Deductive Synthesis -- GPURepair: Automated Repair of GPU Kernels -- Applications -- A Synchronous Effects Logic for Temporal Verification of Pure Esterel -- A Design of GPU-Based Quantitative Model Checking -- Formal Semantics and Verification of Network Based Biocomputation Circuits -- Netter: Probabilistic, Stateful Network Models,. Decision Procedures -- Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories -- Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching -- On Preprocessing for Weighted MaxSAT -- Compositional Satisfiability Solving in Separation Logic.
Record Nr. UNISA-996464432003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / / edited by Fritz Henglein, Sharon Shoham, Yakir Vizel
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / / edited by Fritz Henglein, Sharon Shoham, Yakir Vizel
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Descrizione fisica 1 online resource (XV, 604 p. 212 illus., 108 illus. in color.)
Disciplina 005.14
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Natural language processing (Computer science)
Software engineering
Microprogramming
Computers, Special purpose
Theory of Computation
Natural Language Processing (NLP)
Software Engineering
Control Structures and Microprogramming
Special Purpose and Application-Based Systems
ISBN 3-030-67067-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Model Checking Algorithms for Hyperproperties -- Algebra-based Synthesis of Loops and their Invariants -- Generative Program Analysis and Beyond: The Power of Domain-Specific Languages -- Hyperproperties and Infinite-state Systems -- Compositional Model Checking for Multi-Properties -- Decomposing Data Structure Commutativity Proofs with mn-Differencing -- Proving the existence of fair paths in infinite-state systems -- A Self-Certifying Compilation Framework for WebAssembly -- Concurrent and Distributed Systems -- Concurrent Correctness in Vector Space -- Verification of Concurrent Programs Using Petri Net Unfoldings -- Eliminating Message Counters in Synchronous Threshold Automata -- A Reduction Theorem for Randomized Distributed Algorithms under Weak Adversaries -- Checking -- Runtime Abstract Interpretation for Numerical Accuracy and Robustness -- Twinning automata and regular expressions for string static analysis -- Unbounded Procedure Summaries from Bounded Environments -- Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking -- Synthesis and Repair -- Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible -- Automated Repair of Heap-Manipulating Programs using Deductive Synthesis -- GPURepair: Automated Repair of GPU Kernels -- Applications -- A Synchronous Effects Logic for Temporal Verification of Pure Esterel -- A Design of GPU-Based Quantitative Model Checking -- Formal Semantics and Verification of Network Based Biocomputation Circuits -- Netter: Probabilistic, Stateful Network Models,. Decision Procedures -- Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories -- Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching -- On Preprocessing for Weighted MaxSAT -- Compositional Satisfiability Solving in Separation Logic.
Record Nr. UNINA-9910484484503321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui