Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
Jürgen DingelHongzhi LiangPublished in: SIGSOFT FSE (2004)
Keyphrases
- safety analysis
- concurrent programs
- control system
- nuclear power plant
- safety critical
- symbolic model checking
- fault model
- concurrent programming
- process algebra
- web applications
- model based diagnosis
- formal specification
- fault tolerant
- support systems
- reliability analysis
- partial observability
- concurrent systems
- web services