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.
Model Checking Software [[electronic resource] ] : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / / edited by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
| Model Checking Software [[electronic resource] ] : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / / edited by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 261 p. 605 illus., 41 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Algorithms Machine theory Computer simulation Electronic digital computers—Evaluation Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Computer Modelling System Performance and Evaluation |
| ISBN | 3-030-30923-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Verification Through Dependency Graphs -- Model Checking Branching Time Properties for Incomplete Markov Chains -- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table -- From Dynamic State Machines to Promela -- String abstraction for model checking of C programs -- Swarm Model Checking on the GPU -- Statistical Model Checking of Complex Robotic Systems -- STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph -- Extracting Safe Thread Schedules from Incomplete Model Checking Results -- Learning Guided Enumerative Synthesis for Superoptimization -- Applying Model Checking Approach with Floating Point Arithmetic -- Conformance Testing of Schedulers for DSL-based Model Checking -- A Study of Learning Data Structure Invariants Using Off-the-shelf Tools -- VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. |
| Record Nr. | UNISA-996466423203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / / edited by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
| Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / / edited by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 261 p. 605 illus., 41 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Algorithms Machine theory Computer simulation Electronic digital computers—Evaluation Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Computer Modelling System Performance and Evaluation |
| ISBN | 3-030-30923-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Verification Through Dependency Graphs -- Model Checking Branching Time Properties for Incomplete Markov Chains -- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table -- From Dynamic State Machines to Promela -- String abstraction for model checking of C programs -- Swarm Model Checking on the GPU -- Statistical Model Checking of Complex Robotic Systems -- STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph -- Extracting Safe Thread Schedules from Incomplete Model Checking Results -- Learning Guided Enumerative Synthesis for Superoptimization -- Applying Model Checking Approach with Floating Point Arithmetic -- Conformance Testing of Schedulers for DSL-based Model Checking -- A Study of Learning Data Structure Invariants Using Off-the-shelf Tools -- VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. |
| Record Nr. | UNINA-9910349277503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||