Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software.
Darren FoulgerSteve KingPublished in: Ada-Europe (2001)
Keyphrases
- safety critical
- fault tolerant
- formal methods
- embedded systems
- safety analysis
- nuclear power plant
- agent architecture
- regulatory requirements
- support systems
- adaptive systems
- software systems
- development process
- software intensive systems
- decision making
- information systems
- source code
- open source
- real time
- formal specification
- software engineering
- machine learning