Verified Software: Theories, Tools, and Experiments, Revised Selected Papers Presented at the 9th International Conference VSTTE
| Autor: | Paskevich, Andrei, Wies, Thomas |
|---|---|
| Přispěvatelé: | Université Paris-Sud - Paris 11 (UP11), Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), New York University [New York] (NYU), NYU System (NYU) |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
graph theory
separation logic functional correctness ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification computer software selection and evaluation [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] programming language program compilers artificial intelligence model checking theorem proving static analysis specifications formal logic verification semantics automated reasoning software engineering |
| Zdroj: | Lecture Notes in Computer Science VSTTE 2017-9th International Conference Verified Software. Theories, Tools, and Experiments VSTTE 2017-9th International Conference Verified Software. Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. Lecture Notes in Computer Science, Lecture Notes in Computer Science (10712), 2017, ⟨10.1007/978-3-319-72308-2⟩ |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-72308-2⟩ |
| Popis: | International audience; This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|