Results 101 to 110 of about 1,803,900 (290)

Formal verification confirms the role of p53 protein in cell fate decision mechanism. [PDF]

Theory Biosci, 2023
Mahmoud EA, Herajy M, Ziedan IE, Shehata HI.   +3 more
europepmc   +1 more source

Using formal methods for autonomous systems: Five recipes for formal verification

Formal Methods are mathematically-based techniques for software design and engineering, which enable the unambiguous description of and reasoning about a system’s behaviour.
Luckcuck, M.
core   +1 more source

Intrapatient tumour heterogeneity and clonal evolution in an autopsy study of metastatic salivary gland cancer

Molecular Oncology, EarlyView.
Tumour heterogeneity and clonal evolution of metastatic salivary gland cancer were evaluated in two patients with adenoid carcinoma and one patient with myoepithelial carcinoma. Radiology‐guided autopsy enabled multi‐region sampling (total samples n = 149), followed by whole‐genome sequencing and phylogenetic reconstruction (17 tumour samples, 4–7 per ...
Gerben Lassche, Niels J. van Ruitenbeek, Charlotte Adang, Luke O'Gorman, Pui Yuen Lee, Willemijn M. Klein, Adriana C. H. van Engen‐van Grunsven, Jack A. Schalken, Sander Bervoets, Gerald W. Verhaegh, Carla M. L. van Herpen   +10 more
wiley   +1 more source

Formal Verification of PKMv3 Protocol Using ProVerif

IEEE Access
IEEE Std 802.16m-2011 is the official name of the IEEE standard describing the advanced air interface for WiMAX 2. At the security sublayer, the Privacy Key Management version 3 (PKMv3) protocol defines the procedures for authentication and key exchange ...
Sohaib Hamioud, Noureddine Seddari, Abdelouahid Derhab, Eleonora Bottani, Piera Centobelli   +4 more
doaj   +1 more source

Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach. [PDF]

Front Robot AI, 2022
Foughali M, Zuepke A.
europepmc   +1 more source

Profiling neoadjuvant therapy response in rectal cancer using meta‐analysis of publicly available transcriptomic RNA‐seq datasets

Molecular Oncology, EarlyView.
This study integrates publicly available transcriptomic datasets to identify molecular signatures associated with response to neoadjuvant chemoradiotherapy in locally advanced rectal cancer. By analyzing a combination of multiple cohorts with bioinformatics approaches, we reveal biological pathways and immune‐related features that may improve ...
Aleksandra Stanojevic, Rafael Stroggilos, Mladen Marinkovic, Ana Djuric, Suzana Stojanovic‐Rundic, Radmila Jankovic, Sergi Castellvi‐Bel, Remond J.A. Fijneman, Antonia Vlahou, Jerome Zoidakis, Milena Cavic   +10 more
wiley   +1 more source

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]

Sensors (Basel), 2023
Bezerra WR, Martina JE, Westphall CB.
europepmc   +1 more source

Formal verification of a realistic compiler [PDF]

Communications of the ACM, 2009
This paper reports on the development and formal verification (proof of semantic preservation) of CompCert, a compiler from Clight (a large subset of the C programming language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness.
openaire   +2 more sources

Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems

, 2017
Formal specification and verification methods provide ways to describe requirements precisely and to check whether the requirements are satisfied by the design or the implementation.
Darvas, Daniel
core   +1 more source

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle [PDF]

, 2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation.
Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri, Fagiolini, Adriano, Palmieri, Maurizio, Domenici, Andrea   +5 more
core   +1 more source