Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018)
- Record Type:
- Book
- Title:
- Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018)
- Main Title:
- Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
- Other Titles:
- TAP 2018
- Further Information:
- Note: Catherine Dubois, Burkhart Wolff (eds.).
- Editors:
- Dubois, Catherine
Wolff, Burkhart, 1962- - Other Names:
- TAP (Conference), 12th
STAF (Federation of conferences) - Contents:
- Tests from Witnesses: Execution-Based Validation of Verification Results -- An Approximation-based Approach for the Random Exploration of large models -- Static and Dynamic Verification of Relational Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and variants -- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties -- Tactic Program-based Testing and Bounded Verification in Isabelle/HOL -- Verification Coverage for Combining Test and Proof -- Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report -- Formalizing (Web) Standards: An Application of Test and Proof.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2018
- Extent:
- 1 online resource (xiv, 185 pages), illustrations
- Subjects:
- 005.1/4
Computer science
Computer software -- Testing -- Congresses
Computer software -- Verification -- Congresses
Software engineering -- Congresses
Computer software -- Testing
Computer software -- Verification
Software engineering
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Systems and Data Security
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
The Computing Profession
Computers -- Programming Languages -- General
Computers -- Security -- General
Computers -- Programming -- General
Mathematics -- Logic
Computers -- General
Programming & scripting languages: general
Computer security
Computer programming / software development
Mathematical theory of computation
Information technology: general issues
Software engineering
Computer security
Logic design
Computer industry
Computers -- Software Development & Engineering -- General
Software Engineering
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319929941
3319929941 - Related ISBNs:
- 9783319929934
- Notes:
- Note: Includes bibliographical references and author index.
Note: Online resource; title from PDF title page (SpringerLink, viewed June 20, 2018). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.358845
- Ingest File:
- 01_321.xml