Skip to search formSkip to main contentSkip to account menu

MALPAS Software Static Analysis Toolset

Known as: Malpas 
MALPAS is a software toolset that provides a means of investigating and proving the correctness of software by applying a rigorous form of static… 
Wikipedia (opens in a new tab)

Related topics

Related topics

17 relations
AdaCompilerData-flow analysisDirected graph

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Slips, Thoughts and Actions
It is possible to disagree on nearly everything when it comes to human agency. Nonetheless, certain things are written in stone… 
2012
2012
Interlending trending: a look ahead from atop the data pile
Purpose – This paper seeks to explore five forces likely to significantly affect interlending operations in the near term: the… 
2008
2008
A Baroreflex Control Model Using Head-Up Tilt Test
The searching for mathematical models to resemble the baroreflex mechanism is an active field of research because not all… 
2006
2006
The Use of Town Trails in Raising Awareness of Urban Geodiversity
The majority of people now live and/or work in urban areas and are increasingly becoming divorced from their natural environment… 
2003
2003
John J. Joughin & Simon Malpas (eds.) - The New Aestheticism
2000
2000
'Foucault and Gadamer: Like apples and oranges passing in the night'
In introducing their book, Michel Foucault: Beyond Structuralismand Hermeneutics, (first published in 1982, one of the earliest… 
1990
1990
The rigorous specification and verification of the safety aspects of a real-time system
Three main concepts concerning safety and the use of formal specification and rule techniques are described. They are safety… 
1989
1989
Dynamics Of Process Models In P
The IPSE 2.5 project is concerned with the problem of how computer systems can be used in the development of information systems… 
1987
1987
Malpas — Verification of a Safety Critical System
The growing demand for increasingly complex systems, including safety critical systems, is resulting in a tendency to meet this… 
Review
1958
Review
1958
[Probabilities of reaching viability of pregnancy subsequent to the 1st, 2d, 3d, etc. consecutive abortion; review of the so-called Malpas laws].
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)