Login / Signup
A Static Analyzer for Large Safety-Critical Software
Bruno Blanchet
Patrick Cousot
Radhia Cousot
Jérôme Feret
Laurent Mauborgne
Antoine Miné
David Monniaux
Xavier Rival
Published in:
CoRR (2007)
Keyphrases
</>
safety critical
formal methods
fault tolerant
embedded systems
safety analysis
nuclear power plant
agent architecture
support systems
regulatory requirements
low cost
software intensive systems
knowledge based systems
load balancing
software systems
intelligent agents
software development
data model
expert systems