Author:
Ahrendt Wolfgang,Baar Thomas,Beckert Bernhard,Bubel Richard,Giese Martin,Hähnle Reiner,Menzel Wolfram,Mostowski Wojciech,Roth Andreas,Schlager Steffen,Schmitt Peter H.
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference72 articles.
1. Ahrendt W (2002) Deductive search for errors in free data type specifications using model generation. In: Voronkov A (ed) Automated Deduction – CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, LNCS, vol 2392. Springer-Verlag
2. Ahrendt W, Baar T, Beckert B, Giese M, Habermalz E, Hähnle R, Menzel W, Schmitt PH (2000) The KeY approach: Integrating object oriented design and formal verification. In: Ojeda-Aciego M, de Guzmán IP, Brewka G, Pereira LM (eds) Proc. 8th European Workshop on Logics in AI (JELIA), LNCS, vol 1919. Springer-Verlag, pp 21–36, Oct.
3. Ahrendt W, Baar T, Beckert B, Giese M, Hähnle R, Menzel W, Mostowski W, Schmitt PH (2002) The KeY system: Integrating object-oriented design and formal methods. In: Kutsche R-D, Weber H (eds) Fundamental Approaches to Software Engineering (FASE), Part of Joint European Conferences on Theory and Practice of Software, ETAPS, Grenoble, LNCS, vol 2306. Springer-Verlag, pp 327–330
4. Androutsopoulos K (2002) Using SMV to model check RSDS specifications. Technical Report TR-02-07, King’s College of London, Department of Computing Science
5. ANTLR homepage. At http://www.antlr.org/
Cited by
134 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献