Author:
Giese Holger,Henkler Stefan,Hirsch Martin
Publisher
Springer Berlin Heidelberg
Reference48 articles.
1. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87–106 (1987)
2. Barringer, H., Pasareanu, C.S., Giannakopolou, D.: Proof rules for automated compositional verification through learning. In: International Workshop on Specification and Verification of Component Based Systems, Finland, pp. 14–21 (September 2003)
3. Berg, T.: Regular Inference for Reactive Systems. Licentiate thesis, it (April 2006)
4. Lecture Notes in Computer Science;T. Berg,2005
5. Berg, T., Jonsson, B., Leucker, M., Saksena, M.: Insights to Angluin’s learning. In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003). Electronic Notes in Theoretical Computer Science, vol. 118, pp. 3–18 (December 2003)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report;2024 IEEE 32nd International Requirements Engineering Conference (RE);2024-06-24
2. 12 Fujaba4Eclipse Real-Time Tool Suite;Model-Based Engineering of Embedded Real-Time Systems;2010