| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465414703316 |
|
|
Titolo |
Runtime Verification [[electronic resource] ] : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers / / edited by Koushik Sen, Sarfaz Khurshid |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 458 p. 69 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 7186 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Algorithms |
Computer logic |
Computer programming |
Programming languages (Electronic computers) |
Mathematical logic |
Software Engineering |
Algorithm Analysis and Problem Complexity |
Logics and Meanings of Programs |
Programming Techniques |
Programming Languages, Compilers, Interpreters |
Mathematical Logic and Formal Languages |
Conference proceedings. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal |
|
|
|
|
|
|
|
|
|
|
constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches. |
|
|
|
|
|
| |