Static Verification of Non-Functional Software Requirements in the ISO-26262.
Daniel KästnerChristian FerdinandPublished in: Automotive - Safety & Security (2012)
Keyphrases
- software requirements
- functional verification
- systems development
- software systems
- functional requirements
- requirements engineering
- requirements specification
- software development
- software architecture
- model checking
- software engineering
- distributed systems
- development process
- life cycle
- formal verification
- formal methods
- real world
- multi agent
- case study
- metadata