Results 131 to 140 of about 253,484 (163)

Verification of Concurrent Software

2016
We provide a tutorial on the verification of concurrent software. We first discuss semantics of modern shared-variable concurrent software. We then provide an overview of algorithmic methods for analysing such software. We begin with Bounded Model Checking, a technique that performs an analysis of program paths up to a user-specified length.
openaire   +1 more source

software verification

2011
openaire   +2 more sources

Software & System Verification with KIV

2022
Schellhorn, Gerhard, Bodenmüller, Stefan, Bitterlich, Martin, Reif, Wolfgang   +3 more
openaire   +2 more sources

Obesity and adverse breast cancer risk and outcome: Mechanistic insights and strategies for intervention

Ca-A Cancer Journal for Clinicians, 2017
Cynthia Morata-Tarifa, Joyce M Slingerland   +1 more
exaly  

Multidisciplinary standards of care and recent progress in pancreatic ductal adenocarcinoma

Ca-A Cancer Journal for Clinicians, 2020
Aaron J Grossberg, William L Hwang, Anirban Maitra   +2 more
exaly  

Software Verification

2017
openaire   +2 more sources

Oral complications of cancer and cancer therapy

Ca-A Cancer Journal for Clinicians, 2012
Joel B Epstein, Rene-Jean Bensadoun, Andrei Barasch   +2 more
exaly  

The financial burden and distress of patients with cancer: Understanding and stepping‐up action on the financial toxicity of cancer treatment

Ca-A Cancer Journal for Clinicians, 2018
Pricivel M Carrera, Hagop M Kantarjian, Victoria S Blinder   +2 more
exaly  

American Cancer Society Head and Neck Cancer Survivorship Care Guideline

Ca-A Cancer Journal for Clinicians, 2016
Nader Sadeghi, Katherine A Hutcheson, Gary H Lyman   +2 more
exaly  

Spirituality and religion in oncology

Ca-A Cancer Journal for Clinicians, 2013
John R Peteet
exaly