Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08)
Title | Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08) PDF eBook |
Author | USENIX Association |
Publisher | |
Pages | 384 |
Release | 2008 |
Genre | |
ISBN | 9781931971652 |
Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation
Title | Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation PDF eBook |
Author | ACM Digital Library |
Publisher | |
Pages | 384 |
Release | 2008 |
Genre | Computer software |
ISBN |
Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation : (OSDI '06) : November 6-8, 2006, Seattle, WA, USA.
Title | Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation : (OSDI '06) : November 6-8, 2006, Seattle, WA, USA. PDF eBook |
Author | Brian Bershad |
Publisher | |
Pages | 407 |
Release | 2006 |
Genre | |
ISBN |
PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022
Title | PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022 PDF eBook |
Author | Alberto Griggio |
Publisher | TU Wien Academic Press |
Pages | 405 |
Release | 2022-10-12 |
Genre | Computers |
ISBN | 3854480539 |
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
NASA Formal Methods
Title | NASA Formal Methods PDF eBook |
Author | Mihaela Bobaru |
Publisher | Springer Science & Business Media |
Pages | 546 |
Release | 2011-04-06 |
Genre | Computers |
ISBN | 3642203973 |
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verification techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.
Model Checking Software
Title | Model Checking Software PDF eBook |
Author | Alex Groce |
Publisher | Springer Science & Business Media |
Pages | 203 |
Release | 2011-07-05 |
Genre | Computers |
ISBN | 3642223052 |
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.
Tests and Proofs
Title | Tests and Proofs PDF eBook |
Author | Margus Veanes |
Publisher | Springer |
Pages | 242 |
Release | 2013-06-12 |
Genre | Computers |
ISBN | 3642389163 |
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.