BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.
Farn WangKarsten SchmidtFang YuGeng-Dian HuangBow-Yaw WangPublished in: IEEE Trans. Software Eng. (2004)
Keyphrases
- safety analysis
- data structure
- safety critical
- nuclear power plant
- symbolic model checking
- control system
- fault model
- breadth first search
- binary decision diagrams
- agent architecture
- real time
- formal methods
- software systems
- software development
- reliability analysis
- frequent patterns
- user interface
- artificial intelligence