Results 61 to 70 of about 1,197,029 (323)
Bounded saturation-based CTL model checking; pp. 59–70 [PDF]
Proceedings of the Estonian Academy of Sciences, 2013 Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyse the behaviour of a system. Symbolic model
András Vörös +2 more
doaj +1 more source
The VEGA Tool to Check the Applicability Domain Gives Greater Confidence in the Prediction of In Silico Models [PDF]
, 2023 Alberto Danieli +9 more
openalex +1 more source
Model checking programmable router configurations [PDF]
, 2010 Programmable networks offer the ability to customize router behaviour at run time, thus increasing flexibility of network administration. Programmable network routers are configured using domain-specific languages. In this paper, we describe our approach
Emmerich, W, Mascolo, C, Zanolin, L
core
Real‐time assay of ribonucleotide reductase activity with a fluorescent RNA aptamer
FEBS Letters, EarlyView.Ribonucleotide reductases (RNR) synthesize DNA building blocks de novo, making them crucial in DNA replication and drug targeting. FLARE introduces the first single‐tube real‐time coupled RNR assay, which enables isothermal tracking of RNR activity at nanomolar enzyme levels and allows the reconstruction of allosteric regulatory patterns and rapid ...
Jacopo De Capitani +4 more
wiley +1 more source
The role of histone modifications in transcription regulation upon DNA damage
FEBS Letters, EarlyView.This review discusses the critical role of histone modifications in regulating gene expression during the DNA damage response (DDR). By modulating chromatin structure and recruiting repair factors, these post‐translational modifications fine‐tune transcriptional programmes to maintain genomic stability.
Angelina Job Kolady, Siyao Wang
wiley +1 more source
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds [PDF]
, 2012 Path checking, the special case of the model checking problem where the model under consideration is a single path, plays an important role in monitoring, testing, and verification. We prove that for linear-time temporal logic (LTL), path checking can be
Finkbeiner, Bernd, Kuhtz, Lars
core +1 more source
β‐TrCP overexpression enhances cisplatin sensitivity by depleting BRCA1
Molecular Oncology, EarlyView.Low levels of β‐TrCP (Panel A) allow the accumulation of BRCA1 and CtIP, which facilitate the repair of cisplatin‐induced DNA damage via homologous recombination (HR) and promote tumor cell survival. In contrast, high β‐TrCP expression (Panel B) leads to BRCA1 and CtIP degradation, impairing HR repair, resulting in persistent DNA damage and apoptosis ...
Rocío Jiménez‐Guerrero +8 more
wiley +1 more source
Model Checking CSL for Markov Population Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Markov population models (MPMs) are a widely used modelling formalism in the area of computational biology and related areas. The semantics of a MPM is an infinite-state continuous-time Markov chain.
David Spieler +2 more
doaj +1 more source
Formal Verification of STPA with Model Checking
Scientific Journal of Gdynia Maritime University, 2023 As technology advances, hardware-centric systems are rapidly moving towards software-centric ones, and their complexity is rapidly increasing. In particular, systems directly related to safety require thorough verification.
Ryeonggu Kwon, Gihwon Kwon
doaj +1 more source
Abstraction in directed model checking [PDF]
, 2004 ion is one of the most important issues to cope with large and infinite state spaces in model checking and to reduce the verification efforts. The abstract system is smaller than the original one and if the abstract system satisfies a correctness ...
Edelkamp, Stefan +1 more
core