Author:
Bao Binghao,Bormann Jörg,Wedler Markus,Stoffel Dominik,Kunz Wolfgang
Publisher
Springer International Publishing
Reference12 articles.
1. Biere, A., Cimatti, A., Clarke, E.M., Fujita, M., Zhu, Y.: Symbolic model checking using SAT procedures instead of BDDs. In: Proceedings of the International Design Automation Conference (DAC), New Orleans, LA, USA, pp. 317–320 (1999)
2. Bormann, J.: Vollständige Verifikation. Dissertation, Technische Universität Kaiserslautern (2009)
3. Claessen, K.: A coverage analysis for safety property lists. In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 139–145. IEEE Computer Society, Austin, Texas, USA (2007)
4. Langer, J., Heinkel, U.: High level synthesis using operation properties. In: Proceedings of Forum on Specification Design Languages (FDL 2009), Sophia Antipolis, France, pp. 1–6 (2009)
5. Lee, T.C., Hsiung, P.A.: Mutation coverage estimation for model checking. In: Automated Technology for Verification and Analysis (ATVA), Taipei, Taiwan (2004)