| 1. |
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
- Oortwijn, W., et al.
(författare)
-
An Abstraction Technique for Describing Concurrent Program Behaviour
- 2017
-
Ingår i: 9th International Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017. - Cham : Springer. - 9783319723075 ; , s. 191-209
-
Konferensbidrag (refereegranskat)abstract
- This paper presents a technique to reason about functional properties of shared-memory concurrent software by means of abstraction. The abstract behaviour of the program is described using process algebras. In the program we indicate which concrete atomic steps correspond to the actions that are used in the process algebra term. Each action comes with a specification that describes its effect on the shared state. Program logics are used to show that the concrete program steps adhere to this specification. Separately, we also use program logics to prove that the program behaves as described by the process algebra term. Finally, via process algebraic reasoning we derive properties that hold for the program from its abstraction. This technique allows reasoning about the behaviour of highly concurrent, non-deterministic and possibly non-terminating programs. The paper discusses various verification examples to illustrate our approach. The verification technique is implemented as part of the VerCors toolset. We demonstrate that our technique is capable of verifying data- and control-flow properties that are hard to verify with alternative approaches, especially with mechanised tool support.
|
|
| 7. |
- Refolo, P., et al.
(författare)
-
On the normativity of evidence - Lessons from philosophy of science and the "VALIDATE" project
- 2023
-
Ingår i: European Review for Medical and Pharmacological Sciences. - : VERDUCI PUBLISHER. - 1128-3602. ; 27:23, s. 11202-11210
-
Tidskriftsartikel (refereegranskat)abstract
- "Evidence" is a key term in medicine and health services research, including Health Technology Assessment (HTA). Randomized clinical trials (RCTs) have undoubtedly dominated the scene of generating evidence for a long period of time, becoming the hallmark of evidence-based medicine (EBM). However, due to a number of misunderstandings, the lay audience and some researchers have sometimes placed too much trust in RCTs compared to other methods of investigation. One of the principal misunderstandings is to consider RCTs findings as isolated and self -apparent pieces of information. In other words, what has been essentially lacking was the awareness of the value-context of the evidence and, in particular, the value-and theory-ladenness (normativity) of scientific knowledge. This paper aims to emphasize the normativity that exists in the production of scientific knowledge, and in particular in the conduct of RCTs as well as in the performance of HTA. The work is based on some lessons learned from Philosophy of Science and the European project "VALIDATE" (VALues In Doing Assessments of healthcare TEchnologies"). VALIDATE was a three-year EU Erasmus+ strategic partnerships project (20182021), in which training in the field of HTA was further optimized by using insights from political science and ethics (in accordance with the recent definition of HTA). Our analysis may reveal useful insights for addressing some challenges that HTA is going to face in the future.
|
|
