Author:
Güdemann Matthias,Núñez Manuel
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference6 articles.
1. Aman, B., Ciobanu, G.: Verification of critical systems described in real-time TiMo. Int. J. Softw. Tools Technol. Transfer (2016). doi:
10.1007/s10009-016-0439-9
2. Aichernig, B.K., Hörmaier, K., Lorber, F., Ničkovic, D., Tiran, S.: Require, test and trace IT. Int. J. Softw. Tools Technol. Transfer (2016). doi:
10.1007/s10009-016-0444-z
3. Damouche, N., Martel, M., Chapoutot, A.: Improving the numerical accuracy of programs by automatic transformation. Int. J. Softw. Tools Technol. Transfer (2016). doi
10.1007/s10009-016-0435-0
4. Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: towards flexible verification under fairness. In: Computer Aided Verification:
$$21^{st}$$
21
st
International Conference (CAV 2009). LNCS. Springer (2009)
5. Junker, U.: QUICKXPLAIN: Preferred explanations and relaxations for over-constrained problems. In: Proceedings of the 19th National Conference on Artificial Intelligence, pp 167–172. AAAI Press, California (2004)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal methods and tools for industrial critical systems;International Journal on Software Tools for Technology Transfer;2022-10-28
2. Formal methods and tools for industrial critical systems;International Journal on Software Tools for Technology Transfer;2022-04-04
3. Formal methods and automated verification of critical systems;International Journal on Software Tools for Technology Transfer;2018-05-16