Results 31 to 40 of about 129,094 (257)
The MODUS Approach to Formal Verification
Business Systems Research, 2014 Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality
Brewka Lukasz +2 more
doaj +1 more source
Formal Verification of Three-Valued Digital Waveforms
Моделирование и анализ информационных систем, 2019 We investigate a formal verification problem (mathematically rigorous correctness checking) for digital waveforms used in practical development of digital microelectronic devices (digital circuits) at early design stages.
Nina Yu. Kutsak, Vladislav V. Podymov
doaj +1 more source
Formal verification of a deadlock detection algorithm [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Deadlock detection is a challenging issue in the analysis and design of on-chip networks. We have designed an algorithm to detect deadlocks automatically in on-chip networks with wormhole switching.
Freek Verbeek, Julien Schmaltz
doaj +1 more source
PROMELA based formal verification for safety-critical software
Xibei Gongye Daxue Xuebao, 2022 聚焦安全关键软件, 研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型, 验证属性相关函数到PROMELA模型的2类映射规则; 根据映射规则提出由C程序自动生成PROMELA形式模型的算法, 并对算法进行理论分析; 针对C程序中5种故障类型, 分别给出基于PROMELA模型的形式化验证方法, 并分析验证的范围; 覆盖各类故障的验证范围, 为每类故障类型选取12个C程序案例进行实证研究 ...
XING Liang +3 more
doaj +1 more source
Formal Verification and Biology [PDF]
, 2008 The essence of formal verification is the modeling, analysis, and, ultimately, understanding of large reactive systems. How do many parts interact to produce appropriate global behavior? How are properties guaranteed over all the possible variations of timing, non-deterministic behavior of components, and a dynamically changing environment?
openaire +1 more source
FVM: A Formal Verification Methodology for VHDL Designs
IEEE Open Journal of the Computer SocietyWith the increasing complexity of digital designs, functional verification is becoming unmanageable. Bugs that survive verification cause a number of issues with functional, performance, security, safety and economic impact, and are unfortunately ...
Hipolito Guzman-Miranda +2 more
doaj +1 more source
rTLS: Secure and Efficient TLS Session Resumption for the Internet of Things
Sensors, 2021 In recent years, the Transport Layer Security (TLS) protocol has enjoyed rapid growth as a security protocol for the Internet of Things (IoT). In its newest iteration, TLS 1.3, the Internet Engineering Task Force (IETF) has standardized a zero round-trip
Koen Tange +4 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Type 1 plasminogen deficiency (PLGD‐1) is an ultra‐rare autosomal recessive disorder caused by variants in the PLG gene and affects approximately 1.6 individuals per million. The condition is characterized by decreased plasminogen levels and impaired function, resulting in fibrin‐rich lesions on mucous membranes throughout the body.
Charles Nakar +7 more
wiley +1 more source
Health Literacy, Self‐Efficacy and Knowledge of Sickle Cell Disease Among Caregivers
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Sickle cell disease (SCD) is a hereditary blood disorder in which abnormal haemoglobin leads to severe anaemia, painful crises and organ failure. Caregivers’ health literacy (HL) – their ability to assess, understand and apply information, and interact with healthcare professionals – is crucial for managing children with SCD, yet ...
Melanie Bruinooge +6 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Leukemia is the most common childhood cancer in Mexico, and acute lymphoblastic leukemia (ALL) is the most frequent subtype. Exposure to high concentrations of benzene has been associated with ALL incidence, particularly in urban areas. This study evaluated the relationship between distance to benzene emission sources and the number
Orlando Rivera Zurita +5 more
wiley +1 more source