Results 41 to 50 of about 4,235,689 (341)

Formal Methods in Industry

Formal Aspects of Computing
Formal methods encompass a wide choice of techniques and tools for the specification, development, analysis, and verification of software and hardware systems. Formal methods are widely applied in industry, in activities ranging from the elicitation of requirements and the early design phases all the way to the deployment, configuration, and runtime ...
Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang   +14 more
openaire   +2 more sources

"Boring formal methods" or "Sherlock Holmes deduction methods"?

, 2016
This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody ...
BF Sherman, D Bjørner, FC Richardson, J Botaschanjan, J Harrison, JM Wing, L Hoare, S Russell, S Wang, U Schöning, V Feast, Z Wang   +11 more
core   +1 more source

Formal Methods for Functional Verification [PDF]

, 2003
Formal hardware verification ranges from proving that two combinational circuits compute the same functions to the much more ambitious task of proving that a sequential circuit obeys some abstract property expressed in temporal logic. In tracing the history of work in this area, we find a few efforts in the 1970s and 1980s, with a big increase in ...
Randal E. Bryant, James H. Kukula
openaire   +2 more sources

Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation Security [PDF]

, 2014
In our paper at PROOFS 2013, we formally studied a few known countermeasures to protect CRT-RSA against the BellCoRe fault injection attack. However, we left Vigilant's countermeasure and its alleged repaired version by Coron et al.
Guilley, Sylvain, Rauzy, Pablo
core   +3 more sources

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

IEEE Access, 2022
Systems engineering has gained in maturity over the last decades and started a transition from document-centric approaches to Model-Based Systems Engineering (MBSE).
Pierre De Saqui-Sannes, Rob A. Vingerhoeds, Christophe Garion, Xavier Thirioux   +3 more
doaj   +1 more source

Using Lightweight Formal Methods for JavaScript Security [PDF]

, 2010
The goal of this work was to apply lightweight formal methods to the study of the security of the JavaScript language. Previous work has shown that lightweight formal methods present a new approach to the study of security in the context of the Java ...
Reynolds, Mark
core   +1 more source

Cancer cell death induced by the NAD antimetabolite Vacor discloses the antitumor potential of SARM1

FEBS Letters, EarlyView.
Vacor, a compound converted into the toxic metabolite Vacor adenine dinucleotide (VAD) by the nicotinamide salvage pathway enzymes NAMPT and NMNAT2, exhibits antitumor activity by inducing rapid and complete NAD depletion. We report that Vacor toxicity is limited to cell lines expressing high levels of SARM1, a NAD glycohydrolase.
Giuseppe Ranieri, Andrea Lapucci, Giuseppe Orsomando, Nadia Raffaelli, Alberto Chiarugi, Daniela Buonvicino   +5 more
wiley   +1 more source

Advancing water productivity monitoring: WaPLUGIN for the analysis and validation of FAO WaPOR data in QGIS [PDF]

The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
The FAO WaPOR (Water Productivity Open Access Portal) is a significant initiative developed by the Food and Agriculture Organization of the United Nations (FAO). It provides extensive datasets derived from remote sensing, specifically aimed at monitoring
A. Dhonthi, F. H. Fonseca Aponte, Z. Nemer, C. Hadj Ali, M. Y. Tebbouche, H. Van Der Kwast   +5 more
doaj   +1 more source

RAD50 missense variants differentially affect the DNA damage response and mitotic progression

FEBS Letters, EarlyView.
RAD50 incorporates into the MRN complex and initiates the DNA damage response. Furthermore, RAD50 promotes mitotic progression. RAD50 missense variants capable of forming an MRN complex supported the DNA damage response and mitotic features to different extents in complementation experiments, indicating these functions are separable and might impact ...
Hanna Redeker, Swantje Kebel, Lea Völkening, Anna Vatselia, Louisa Weinhold, Girmay Asgedom, Axel Schambach, Detlev Schindler, Thilo Dörk, Kristine Bousset   +9 more
wiley   +1 more source

Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods

Applied Sciences, 2021
Models@runtime (models at runtime) are based on computation reflection. Runtime models can be regarded as a reflexive layer causally connected with the underlying system. Hence, every change in the runtime model involves a change in the reflected system,
Mohammed Mounir Bouhamed, Gregorio Díaz, Allaoua Chaoui, Oussama Kamel, Radouane  Nouara   +4 more
doaj   +1 more source