Author:
Schwab Stefan,Holzmüller Bernd,Hohmann Sören
Publisher
Springer International Publishing
Reference33 articles.
1. Transregional collaborative research center “automatic verification and analysis of complex systems (avacs)”. http://www.avacs.org
2. Abel, A., Reineke, J.: Memin: sat-based exact minimization of incompletely specified mealy machines. In: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, 2–6 November 2015, pp. 94–101 (2015)
3. Lecture Notes in Computer Science;R Alur,2002
4. Alur, R., Dang, T., Ivančić, F.: Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embed. Comput. Syst. 5(1), 152–199 (2006)
5. Anta, A., Majumdar, R., Saha, I., Tabuada, P.: Automatic verification of control system implementations. In: Proceedings of the Tenth ACM International Conference on Embedded Software, pp. 9–18 (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献