Results 31 to 40 of about 580,783 (342)

Formal analysis techniques for gossiping protocols [PDF]

, 2007
We give a survey of formal verification techniques that can be used to corroborate existing experimental results for gossiping protocols in a rigorous manner.
Bakhshi, Rena, Bonnet, Francois, Fokkink, Wan, Haverkort, Boudewijn   +3 more
core   +5 more sources

FVM: A Formal Verification Methodology for VHDL Designs

IEEE Open Journal of the Computer Society
With 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, Marcos Lopez Garcia, Alberto Urbon Aguado   +2 more
doaj   +1 more source

Towards Evaluating Size Reduction Techniques for Software Model Checking [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
Formal verification techniques are widely used for detecting design flaws in software systems. Formal verification can be done by transforming an already implemented source code to a formal model and attempting to prove certain properties of the model (e.
Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei   +3 more
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, DING Chengjun, DU Hupeng, MA Chunyan   +3 more
doaj   +1 more source

Sickle Cell Disease Is an Inherent Risk for Asthma in a Sibling Comparison Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Sickle cell disease (SCD) and asthma share a complex relationship. Although estimates vary, asthma prevalence in children with SCD is believed to be comparable to or higher than the general population. Determining whether SCD confers an increased risk for asthma remains challenging due to overlapping symptoms and the ...
Suhei C. Zuleta De Bernardis, Okeleji Olayinka, Mariam Z. Quraishi, Lakshmi V. Srivaths, Deborah L. Brown, Neethu M. Menon, Ricardo A. Mosquera, Ashwin P. Patel, James M. Stark, Aravind Yadav   +9 more
wiley   +1 more source

Formal Verification of Code Conversion: A Comprehensive Survey

Technologies
Code conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry.
Amira T. Mahmoud, Ahmad A. Mohammed, Mahitap Ayman, Walaa Medhat , Sahar Selim , Hala Zayed, Ahmed H. Yousef, Nahla Elaraby    +7 more
doaj   +1 more source

Formal Model Engineering for Embedded Systems Using Real-Time Maude

, 2011
This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.
A. Boronat, A. Boronat, A. Boronat, A. Boronat, A. Cerone, E. Lien, F. Wang, Francisco Durán, J. E. Rivera, J. E. Rivera, J. Eker, J. Meseguer, J. Srba, K. Bae, K. Bae, M. AlTurki, M. Clavel, M. Katelman, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, Peter Csaba Ölveczky, R. Alur, S. P. Miller, Vlad Rusu   +27 more
core   +2 more sources

Pazopanib Combined With Vincristine and Irinotecan in Relapsed Wilms Tumor: Encouraging Outcomes in a Heavily Pretreated Pediatric Cohort

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background While Wilms tumor (WT) typically has a favorable prognosis, relapsed cases—especially those with high‐risk histology—remain therapeutically challenging after intensive frontline therapy. The combination of vincristine and irinotecan has demonstrated activity in pediatric solid tumors, and pazopanib, a multi‐targeted tyrosine kinase ...
Maria Debora De Pasquale, Alessandro Crocoli, Giuseppe Maria Milano, Pierluigi Di Paolo, Francesca Diomedi Camassei, Ida Russo, Annalisa Serra   +6 more
wiley   +1 more source

Psychosocial Outcomes in Patients With Endocrine Tumor Syndromes: A Systematic Review

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction The combination of disease manifestations, the familial burden, and varying penetrance of endocrine tumor syndromes (ETSs) is unique. This review aimed to portray and summarize available data on psychosocial outcomes in patients with ETSs and explore gaps and opportunities for future research and care.
Daniël Zwerus, Floortje Strobbe, Annemarie A. Verrijn Stuart, Hanneke M. van Santen, Gerlof D. Valk, Sasja A. Schepers, Rachel S. van Leeuwaarde   +6 more
wiley   +1 more source

Formal Verification of Real-Time System Requirements [PDF]

Computer Science, 2000
The methodology of system requirements verification presented in this paper is a proposition of a practical procedure for reducing some negatives of the specification of requirements.
Marcin Szpyrka
doaj