Author:
Basagiannis Stylianos,Katsaros Panagiotis,Pombortsis Andrew
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Hansen, K.M.: Formalizing Railway Interlocking Systems. In: Proceedings of the 2nd FMERail Workshop (1998)
2. Garmhausen, V.H., Campos, S., Cimatti, A., Clarke, E., Giunchiglia, F.: Verification of a Safety-Critical Railway Interlocking System with Real time Constraints. In: Science of Computer Programming, vol. 36(1), pp. 53–64. Elsevier North-Holland, Amsterdam (2000)
3. Campos, S., Clarke, E., Minea, M.: The Verus tool: a quantitative approach to the formal verification of real-time systems. In: Proceedings of the Conference on Computer Aided Verification (1997)
4. Cimatti, A., Giuchiglia, F., Mongardi, G., Romano, D., Torielli, F., Traverso, P.: Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System. In: Proceedings of the 3rd SPIN workshop (1997)
5. Cimatti, A., Giunchiglia, F., Mongardi, G., Romano, D., Torielli, F., Traverso, P.: Formal Verification of a Railway Interlocking System using Model Checking. Formal Aspect of Computing 10(4), 361–380 (1998)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献