Zobrazeno 1 - 10
of 91
pro vyhledávání: '"Mostowski, Wojciech"'
Publikováno v:
EPTCS 244, 2017, pp. 184-199
We demonstrate a specific method and technology for model-based testing of large software projects with the QuickCheck tool using property-based specifications. Our specifications are very precise, state-full models of the software under test (SUT).
Externí odkaz:
http://arxiv.org/abs/1703.06574
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ernst, Gidon, Huisman, Marieke, Mostowski, Wojciech, Ulbrich, Mattias, Beyer, Dirk, Kordon, Fabrice, Steffen, Bernhard
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, 176-195
STARTPAGE=176;ENDPAGE=195;TITLE=Tools and Algorithms for the Construction and Analysis of Systems
TACAS (3)
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, 176-195
STARTPAGE=176;ENDPAGE=195;TITLE=Tools and Algorithms for the Construction and Analysis of Systems
VerifyThis is a series of competitions that aims to evaluate the current state of deductive tools to prove functional correctness of programs. Such proofs typically require human creativity, and hence it is not possible to measure the performance of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f7d360bea48afd9704e2375f903bd682
https://doi.org/10.1007/978-3-030-17502-3_12
https://doi.org/10.1007/978-3-030-17502-3_12
Autor:
David, Jennifer, Mostowski, Wojciech, Aramrattana, Maytheewat, Fan, Yuantao, Varshosaz, Mahsa, Karlsson, Patrick, Roden, Marcus, Bogga, Anders, Carlsen, Jakob, Johansson, Emil, Andersson, Emil
Search and rescue with an autonomous robot is an attractive and challenging task within the research community. This paper presents the development of an autonomous hexacopter that is designed for retrieving a lost object, like a drone, from a vast-o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______681::d264376928f6483a97f321e605067942
http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-40830
http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-40830
Autor:
Larsson, Daniel, Mostowski, Wojciech
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2 November 2004 102:3-19
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Mostowski, Wojciech, Ulbrich, Mattias
Dynamic method dispatch is a core feature of object-oriented programming by which the executed implementation for a polymorphic method is only chosen at runtime. In this paper, we present a specification and verification methodology which extends the
Externí odkaz:
http://library.oapen.org/handle/20.500.12657/30616
VerifyThis 2017 was a two-day program verification competition which took place from April 22-23rd, 2017 in Uppsala, Sweden as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017). It was the sixth instalment in the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eebd8a1641cd3b9ec2f75647c0dbb010
https://research.utwente.nl/en/publications/verifythis-2017(3c084ac0-e1f4-4534-8876-4bbb9ffba6b8).html
https://research.utwente.nl/en/publications/verifythis-2017(3c084ac0-e1f4-4534-8876-4bbb9ffba6b8).html
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
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
https://doi.org/10.1007/978-3-319-07317-0_5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.