Results 121 to 130 of about 3,649,820 (385)
An Entry Point for Formal Methods: Specification and Analysis of Event Logs
, 2009 Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal specifications to automate part of the more scalable art of testing, but has ...
Barringer, Howard +3 more
core +2 more sources
Continuous Formal Verification of Amazon s2n
International Conference on Computer Aided Verification, 2018 We describe formal verification of s2n, the open source TLS implementation used in numerous Amazon services. A key aspect of this proof infrastructure is continuous checking, to ensure that properties remain proven during the lifetime of the software. At
A. Chudnov +11 more
semanticscholar +1 more source
Molecular Oncology, EarlyView.ERRFI1, a neural crest (NC)‐associated gene, was upregulated in melanoma and negatively correlated with the expression of melanocytic differentiation markers and the susceptibility of melanoma cells toward BRAF inhibitors (BRAFi). Knocking down ERRFI1 significantly increased the sensitivity of melanoma cells to BRAFi.
Nina Wang +8 more
wiley +1 more source
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations
, 2013 We present a formal tool for verification of multivariate nonlinear inequalities. Our verification method is based on interval arithmetic with Taylor approximations.
A. Tarski +12 more
core +1 more source
Intein‐based modular chimeric antigen receptor platform for specific CD19/CD20 co‐targeting
Molecular Oncology, EarlyView.CARtein is a modular CAR platform that uses split inteins to splice antigen‐recognition modules onto a universal signaling backbone, enabling precise, scarless assembly without re‐engineering signaling domains. Deployed here against CD19 and CD20 in B‐cell malignancies, the design supports flexible multi‐antigen targeting to boost T‐cell activation and
Pablo Gonzalez‐Garcia +9 more
wiley +1 more source
System Design as a Creative Mathematical Activity [PDF]
, 1999 This paper contributes to the understanding of rational systems design and verification. We give evidence that the rôle of mathematics in development and verification is not limited to useful calculations: Ideally, designing is a creative mathematical ...
Mader, Angelika, Wupper, Hanno
core +4 more sources
Two‐way inhibition of PAX5 transcriptional activity by PAX5::CBFA2T3
FEBS Open Bio, EarlyView.PAX5::CBFA2T3 (PAX5‐C) is a fusion protein of the B‐cell transcription factor, PAX5, and is found in B‐cell ALL. We propose a putative model of two‐way inhibition of PAX5 transcriptional activity by PAX5‐C. There are two ways of repression by PAX5‐C: DNA‐binding‐dependent way and HDAC‐dependent way, with either being sufficient for the repression. HDAC
Reina Ueno +12 more
wiley +1 more source
Towards the Formal Specification and Verification of Maple Programs
, 2012 In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs.
D.A. Schmidt +5 more
core +1 more source
Formal verification of the pastry protocol
, 2013 Pastry ist ein P2P ( peer-to-peer) Algorithmus, der eine verteilte Hashtabelle (DHT) über einem als virtuellen Ring strukturierten Netzwerk realisiert. Knoten-Identifikatoren und Hash-Schlüssel entstammen derselben Menge, und jeder Knoten verwaltet die Schlüssel, die seinem Identifikator am nächsten liegen.
openaire +3 more sources
Formal Verification of Synchronizers [PDF]
, 2005 Large Systems on Chips (SoC) comprise multiple clock domains, and inter-domain data transfers require synchronization. Synchronizers may fail due to metastability, but when using proper synchronization circuits the probability of such failures can be made negligible.
Ran Ginosar, Tsachy Kapschitz
openaire +2 more sources