Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Wytse Oortwijn"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 32-46 (2019)
Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems. Runtime verification
Externí odkaz:
https://doaj.org/article/76ed59e17617480698a4f2f586df2e78
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 211, Iss Proc. PLACES 2016, Pp 65-72 (2016)
Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software is very challenging due to the concurrent nature of message exchanges.
Externí odkaz:
https://doaj.org/article/4a46f7144f1342b48d1a4f2327e12281
Publikováno v:
Applied Sciences, Vol 10, Iss 11, p 3928 (2020)
Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability. To be able to reason about realistic programs, these techniques must be modular a
Externí odkaz:
https://doaj.org/article/89754ed9996043dbb8cecd614cfa4606
Publikováno v:
INSIGHT. 25:89-95
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c1f5e4fab39c6d20c3cc7e92b7f9082
https://doi.org/10.1002/inst.12419
https://doi.org/10.1002/inst.12419
Publikováno v:
Formal Methods for Industrial Critical Systems ISBN: 9783031150074
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe954fd14017f2288d69151d4aad9430
https://doi.org/10.1007/978-3-031-15008-1_15
https://doi.org/10.1007/978-3-031-15008-1_15
Autor:
Peter Müller, Felix A. Wolf, Wytse Oortwijn, Martin Clochard, João C. Pereira, Linard Arquint
Publikováno v:
Lecture Notes in Computer Science, 12759
Computer Aided Verification, 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Computer Aided Verification ISBN: 9783030816841
CAV (1)
Computer Aided Verification, 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Computer Aided Verification ISBN: 9783030816841
CAV (1)
Go is an increasingly-popular systems programming language targeting, especially, concurrent and distributed systems. Go differentiates itself from other imperative languages by offering structural subtyping and lightweight concurrency through gorout
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe9a231f0daa7feab3203856853581d7
https://hdl.handle.net/20.500.11850/511854
https://hdl.handle.net/20.500.11850/511854
Autor:
Wytse Oortwijn
This thesis contributes formal techniques for verifying global behavioural properties of real-world concurrent software in a sound and practical manner. The first part of this thesis discusses how Concurrent Separation Logic (CSL) can be used to mech
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76a252aca30ceb40dba9a9763330e140
https://research.utwente.nl/en/publications/deductive-techniques-for-modelbased-concurrency-verification(eed8e862-be3a-4fe7-85a4-e94855d13674).html
https://research.utwente.nl/en/publications/deductive-techniques-for-modelbased-concurrency-verification(eed8e862-be3a-4fe7-85a4-e94855d13674).html
Publikováno v:
Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2019, 302, pp.32-46. ⟨10.4204/EPTCS.302.3⟩
Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 32-46 (2019)
Electronic Proceedings in Theoretical Computer Science, 2019, 302, pp.32-46. ⟨10.4204/EPTCS.302.3⟩
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2019, 302, pp.32-46. ⟨10.4204/EPTCS.302.3⟩
Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 32-46 (2019)
Electronic Proceedings in Theoretical Computer Science, 2019, 302, pp.32-46. ⟨10.4204/EPTCS.302.3⟩
Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems. Runtime verification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::647f8899599bbdb546550130d8ab9b79
https://hal.archives-ouvertes.fr/hal-02303148/document
https://hal.archives-ouvertes.fr/hal-02303148/document
Publikováno v:
Applied Sciences
Volume 10
Issue 11
Applied Sciences, 10 (11)
Applied Sciences, Vol 10, Iss 3928, p 3928 (2020)
Volume 10
Issue 11
Applied Sciences, 10 (11)
Applied Sciences, Vol 10, Iss 3928, p 3928 (2020)
Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability. To be able to reason about realistic programs, these techniques must be modular a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::547096cd50f571c3e7ea51fd6771b9a5
https://doi.org/10.3390/app10113928
https://doi.org/10.3390/app10113928
Publikováno v:
ISSTA/ECOOP Workshops
ISSTA '18: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops
ISSTA '18: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops
Society nowadays relies heavily on software, which makes verifying the correctness of software crucially important. Various verification tools have been proposed for this purpose, each focusing on a limited set of tasks, as there are many different w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a37ad79e6bff0533e26452466156b04f
https://doi.org/10.1145/3236454.3236479
https://doi.org/10.1145/3236454.3236479