Login / Signup

Efficient path conditions in dependence graphs for software safety analysis.

Gregor SneltingTorsten RobschinkJens Krinke
Published in: ACM Trans. Softw. Eng. Methodol. (2006)
Keyphrases
  • safety analysis
  • real time
  • safety critical
  • nuclear power plant
  • control system
  • software systems
  • reinforcement learning
  • software development
  • fault model