|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 2
Konferenzbeitrag
Beyer, Dirk 
ORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175 und Richter, Cedric ORCID: https://orcid.org/0000-0003-2906-6508
(2022):
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.
.
In: Fundamental Approaches to Software Engineering. 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Lecture Notes in Computer Science
Bd. 13241
Cham, Switzerland: Springer. S. 49-70
ORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175 und Richter, Cedric ORCID: https://orcid.org/0000-0003-2906-6508
(2022):
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.
.
In: Fundamental Approaches to Software Engineering. 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Lecture Notes in Computer Science
Bd. 13241
Cham, Switzerland: Springer. S. 49-70
Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662 und Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175
(2022):
CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.
28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022.
Fisman, Dana (Hrsg.):
In: Tools and algorithms for the construction and analysis of systems. Part 1. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022 : proceedings, Lecture Notes in Computer Science
Bd. 13243
Cham, Switzerland: Springer. S. 561-579
ORCID: https://orcid.org/0000-0003-4832-7662 und Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175
(2022):
CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.
28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022.
Fisman, Dana (Hrsg.):
In: Tools and algorithms for the construction and analysis of systems. Part 1. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022 : proceedings, Lecture Notes in Computer Science
Bd. 13243
Cham, Switzerland: Springer. S. 561-579