Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.
Farn WangKarsten SchmidtPublished in: FORTE (2002)
Keyphrases
- safety analysis
- data structure
- safety critical
- symbolic model checking
- nuclear power plant
- control system
- fault model
- symbolic representation
- software systems
- formal methods
- embedded systems
- binary decision diagrams
- software development
- user interface
- neural network
- model checking
- software components
- fault tolerant
- software engineering
- software architecture
- reliability analysis
- intelligent agents
- test cases
- source code
- reinforcement learning