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.
Review
2015
Review
2015
Reality in Dutch Novels: Developing a Postmodern Literary-Based Ontology
The term “ontology” is used to describe the nature of reality and demarcates the parameters of existence. An understanding and… 
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… 
2011
2011
The political constitution of islandness : the 'Tasmanian problem' and Ten days on the island
This thesis investigates the political constitution of Tasmanian islandness. Ever since colonisation by the British in the early… 
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… 
1991
1991
Code verification with the aid of MALPAS
The technique of static analysis has, for some time now, been recognised as a technique necessary for the verification of… 
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… 
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)