Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers / Ruzica Piskac, Philipp Rümmer (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 11294. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Cham, Switzerland : Springer, 2018Description: 1 online resource (xvi, 345 pages) : illustrations (some color)Content type: - text
- computer
- online resource
- 9783030035921
- 3030035921
- VSTTE 2018
- Computer software -- Verification -- Congresses
- Computer software -- Quality control -- Congresses
- Compilers (Computer programs) -- Congresses
- Logiciels -- Vérification -- Congrès
- Logiciels -- Qualité -- Contrôle -- Congrès
- Compilateurs (Logiciels) -- Congrès
- Computer programming -- software development
- Programming & scripting languages: general
- Systems analysis & design
- Expert systems -- knowledge-based systems
- Information technology: general issues
- Software Engineering
- Computers -- Programming -- General
- Computers -- Programming Languages -- General
- Computers -- Hardware -- Handheld Devices
- Computers -- Expert Systems
- Computers -- General
- Computers -- Software Development & Engineering -- General
- Compilers (Computer programs)
- Computer software -- Quality control
- Computer software -- Verification
- 005.1/4 23
- QA76.76.V47
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed December 3, 2018).
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.