Verification of loop parallelisations

Autor: Blom, Stefan, Darabi, Saeed, Huisman, Marieke, Egyed, Alexander, Schaefer, Ina

Publikováno v: Fundamental Approaches to Software Engineering ISBN: 9783662466742
FASE
STARTPAGE=IPA;ENDPAGE=4;TITLE=ICT.OPEN 2015
Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015), 202-217
STARTPAGE=202;ENDPAGE=217;TITLE=Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015)
University of Twente Research Information (Pure Portal)

Writing correct parallel programs becomes more and more difficult as the complexity and heterogeneity of processors increase. This issue is addressed by parallelising compilers. Various compiler directives can be used to tell these compilers where to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d7baca28c42166e982cae6aca62e6a67
https://doi.org/10.1007/978-3-662-46675-9_14

Verification of concurrent systems with VerCors

Autor: Amighi, Afshin, Blom, Stefan, Darabi, Saeed, Huisman, Marieke, Mostowski, Wojciech, Zaharieva-Stojanovski, Marina, Bernardo, Marco, Damiani, Ferruccio, Hähnle, Reiner, Broch Johnsen, Einar, Schaefer, Ina

Publikováno v: Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 172-216
STARTPAGE=172;ENDPAGE=216;TITLE=Formal Methods for Executable Software Models
Lecture Notes in Computer Science ISBN: 9783319073163
SFM

This paper presents the VerCors approach to verification of concurrent software. It first discusses why verification of concurrent software is important, but also challenging. Then it shows how within the VerCors project we use permission-based separ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a0080b482db1aa0e7dab92acfd519511
https://doi.org/10.1007/978-3-319-07317-0_5

Formal Specification with JML

Autor: Marieke Huisman, Wolfgang Ahrendt, Daniel Bruns, Martin Hentschel

Publikováno v: University of Twente Research Information (Pure Portal)

This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It is a preview of a chapter planned to appear in a book about the KeY approach and tool to the verification of Java software. JML is the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::32dffb75368d9c63ab90f80bbbc552dd

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)

Autor: Beyer, Dirk, Huisman, Marieke, Klebanov, Vladimir, Monahan, Rosemary

Publikováno v: Dagstuhl reports, 4(4), 1-19. Dagstuhl

This report documents the program and the outcomes of Dagstuhl Seminar 14171 “Evaluating Software Verification Systems: Benchmarks and Competitions‿. The seminar brought together a large group of current and future competition organizers and part

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::56d923fa9dc61385df2eb8dfc0557f2f

Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)

Autor: Marieke Huisman, Jaco van de Pol

Publikováno v: Science of computer programming, 128, 1-1. Elsevier

AVoCS 2014, the 14th International Conference on Automated Verification of Critical Systems has been hosted by the University of Twente, and has taken place in Enschede, Netherlands, on 24-26 September, 2014. The aim of the AVoCS series is to contrib

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbba5c8970a1c9e3e64e96b8af471d13
https://doi.org/10.1016/j.scico.2016.04.013