Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings / / Susanne Graf, Wenhui Zhang (eds.) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
Descrizione fisica | 1 online resource (XIV, 546 p.) |
Disciplina | 004.01/5113 |
Altri autori (Persone) |
GrafSusanne
ZhangWenhui <1963-> |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
Soggetto topico | Automatic theorem proving |
ISBN | 3-540-47238-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote Speeches -- Analysis of Recursive Probabilistic Models -- Verification Challenges and Opportunities in the New Era of Microprocessor Design -- Automated Abstraction of Software -- Regular Papers -- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives -- Eager Markov Chains -- A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement -- A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis -- Model Checking Timed Systems with Urgencies -- Whodunit? Causal Analysis for Counterexamples -- On the Membership Problem for Visibly Pushdown Languages -- On the Construction of Fine Automata for Safety Properties -- On the Succinctness of Nondeterminism -- Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains -- Compositional Reasoning for Hardware/Software Co-verification -- Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition -- On the Satisfiability of Modular Arithmetic Formulae -- Selective Approaches for Solving Weak Games -- Controller Synthesis and Ordinal Automata -- Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis -- Synthesis for Probabilistic Environments -- Branching-Time Property Preservation Between Real-Time Systems -- Automatic Verification of Hybrid Systems with Large Discrete State Space -- Timed Unfoldings for Networks of Timed Automata -- Symbolic Unfoldings for Networks of Timed Automata -- Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise -- Timed Temporal Logics for Abstracting Transient States -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous Communication -- Proactive Leader Election in Asynchronous Shared Memory Systems -- A Semantic Framework for Test Coverage -- Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols -- Analyzing Security Protocols in Hierarchical Networks -- Functional Analysis of a Real-Time Protocol for Networked Control Systems -- Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets -- Sigref – A Symbolic Bisimulation Tool Box -- Towards a Model-Checker for Counter Systems -- The Implementation of Mazurkiewicz Traces in POEM -- Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. |
Altri titoli varianti | ATVA 2006 |
Record Nr. | UNINA-9910483523303321 |
Berlin ; ; New York, : Springer, c2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, proceedings / / Shengchao Qin, Jim Woodcock, Wenhui Zhang (editors) |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (327 pages) |
Disciplina | 005.1 |
Collana | Lecture notes in computer science, programming and software engineering |
Soggetto topico |
Software engineering
Formal methods (Computer science) |
ISBN | 3-030-91265-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910510561103321 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, proceedings / / Shengchao Qin, Jim Woodcock, Wenhui Zhang (editors) |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (327 pages) |
Disciplina | 005.1 |
Collana | Lecture notes in computer science, programming and software engineering |
Soggetto topico |
Software engineering
Formal methods (Computer science) |
ISBN | 3-030-91265-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996464526803316 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|