Now showing items 1-3 of 3
Integration Test Generation and Formal Verification for Distributed Controllers
Software-intensive distributed controllers are becoming increasingly prevalent, among others, also in railway interlocking systems (RIS). As such systems carry out critical tasks, their systematic verification and testing ...
Lazy Abstraction for Probabilistic Systems
Reliability analysis of complex safety-critical systems by probabilistic model checking is often hindered by state space explosion. Abstraction is one way to counteract this problem. In this paper, we adapt an existing ...