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.
Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / / edited by Xinyu Feng, Markus Müller-Olm, Zijiang Yang
| Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / / edited by Xinyu Feng, Markus Müller-Olm, Zijiang Yang |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 201 p. 55 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer system failures Mathematical logic Algorithms Computer logic Software Engineering Programming Languages, Compilers, Interpreters System Performance and Evaluation Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logics and Meanings of Programs |
| ISBN | 3-319-99933-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Refinement -- Verification -- Timing and Scheduling. |
| Record Nr. | UNISA-996466074203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable Software Engineering. Theories, Tools, and Applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / / edited by Xinyu Feng, Markus Müller-Olm, Zijiang Yang
| Dependable Software Engineering. Theories, Tools, and Applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / / edited by Xinyu Feng, Markus Müller-Olm, Zijiang Yang |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 201 p. 55 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer system failures Mathematical logic Algorithms Computer logic Software Engineering Programming Languages, Compilers, Interpreters System Performance and Evaluation Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logics and Meanings of Programs |
| ISBN | 3-319-99933-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Refinement -- Verification -- Timing and Scheduling. |
| Record Nr. | UNINA-9910349408103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Static Analysis [[electronic resource] ] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / / edited by Markus Müller-Olm, Helmut Seidl
| Static Analysis [[electronic resource] ] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / / edited by Markus Müller-Olm, Helmut Seidl |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 337 p. 97 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Formal Languages and Automata Theory |
| ISBN | 3-319-10936-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Static analysis -- Including abstract interpretation -- Abstract testing -- Bug detection -- Data flow analysis -- Model checking -- Program transformation -- Program verification -- Security analysis.- Type checking. |
| Record Nr. | UNISA-996199684503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / / edited by Markus Müller-Olm, Helmut Seidl
| Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / / edited by Markus Müller-Olm, Helmut Seidl |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 337 p. 97 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Formal Languages and Automata Theory |
| ISBN | 3-319-10936-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Static analysis -- Including abstract interpretation -- Abstract testing -- Bug detection -- Data flow analysis -- Model checking -- Program transformation -- Program verification -- Security analysis.- Type checking. |
| Record Nr. | UNINA-9910483639203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / / edited by Neil Jones, Markus Müller-Olm
| Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / / edited by Neil Jones, Markus Müller-Olm |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 381 p.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Compilers (Computer programs) Computer science Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming |
| ISBN | 3-540-93900-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Model Checking: Progress and Problems -- Model Checking Concurrent Programs -- Thread-Modular Shape Analysis -- Invited Tutorials -- Advances in Program Termination and Liveness -- Verification of Security Protocols -- Submitted Papers -- Towards Automatic Stability Analysis for Rely-Guarantee Proofs -- Mostly-Functional Behavior in Java Programs -- The Higher-Order Aggregate Update Problem -- An Abort-Aware Model of Transactional Programming -- Model-Checking the Linux Virtual File System -- LTL Generalized Model Checking Revisited -- Monitoring the Full Range of ?-Regular Properties of Stochastic Systems -- Constraint-Based Invariant Inference over Predicate Abstraction -- Reducing Behavioural to Structural Properties of Programs with Procedures -- Query-Driven Program Testing -- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets -- Abstraction Refinement for Probabilistic Software -- Finding Concurrency-Related Bugs Using Random Isolation -- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries -- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities -- Deciding Extensions of the Theories of Vectors and Bags -- A Posteriori Soundness for Non-deterministic Abstract Interpretations -- An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking -- A Scalable Memory Model for Low-Level Code -- Synthesizing Switching Logic Using Constraint Solving -- Extending Symmetry Reduction by Exploiting System Architecture -- Shape-Value Abstraction for Verifying Linearizability -- Mixed Transition Systems Revisited -- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. |
| Record Nr. | UNISA-996465955603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||