Results 31 to 40 of about 591,091 (290)

Formal Modeling and Verification for MVB

Journal of Applied Mathematics, 2013
Multifunction Vehicle Bus (MVB) is a critical component in the Train Communication Network (TCN), which is widely used in most of the modern train techniques of the transportation system.
Mo Xia, Kueiming Lo, Shuangjia Shao, Mian Sun   +3 more
doaj   +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, B. Akbarpour, G.E. Collins, J. Harrison, J.V. Harrison, L.C. Paulson, M. Daumas, R. Zumkeller, S. Chevillard, S. McLaughlin, T.C. Hales, T.C. Hales, T.C. Hales   +12 more
core   +1 more source

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

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

Why and When Are Evidence‐Based Interventions Adopted in Paediatric Supportive Care? A Qualitative Exploration of the Determinants of Photobiomodulation Implementation

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Oral mucositis is a common and debilitating side effect of childhood cancer and stem cell transplant treatments. It affects the quality of life of children and young people (CYP) and places a strain on services. Photobiomodulation is recommended for oral mucositis prevention in international guidance but is poorly implemented in UK ...
Claudia Heggie, Kara A. Gray‐Burrows, Peter F. Day, Bob Phillips, Carl A. Thompson   +4 more
wiley   +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, Sebastian Mödersheim, Apostolos Lalos, Xenofon Fafoutis, Nicola Dragoni   +4 more
doaj   +1 more source

User-friendly Support for Common Concepts in a Lightweight Verifier [PDF]

, 2010
Machine verification of formal arguments can only increase our confidence in the correctness of those arguments, but the costs of employing machine verification still outweigh the benefits for some common kinds of formal reasoning activities. As a result,
Lapets, Andrei
core   +1 more source

Specification and Verification of Context-dependent Services

, 2011
Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract.
Alagar, Vangalur, Ibrahim, Naseem, Mohammad, Mubarak   +2 more
core   +2 more sources

Dexamethasone for Chemotherapy‐Induced Nausea and Vomiting Prevention in Pediatric Patients: International Consensus

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background An international Delphi panel of experts developed consensus statements to delineate the circumstances where the risks of dexamethasone as an antiemetic do and do not outweigh its benefits. Procedure Experts in supportive care of pediatric patients were invited to participate.
Negar Shavandi, Paula D. Robinson, Shana Jacobs, L. Lee Dupuis, the International Pediatric Dexamethasone Panel, Sameer Bakhshi, Tiene Bauters, Eva Brack, Simone Cesaro, Claire Fosbrook, Jason Freedman, Tamara MacDonald, Eloise Neumann, Venkatraman Radhakrishnan, Rod Rassekh, Florian Slimano, Johnathan Soggee, Joel Thompson, Marianne van de Wetering, Milena Villarroel, Jasper Wong   +20 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