Author:
Herberich Gerlind,Schlich Bastian,Weise Carsten,Noll Thomas
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. Balakrishnan, G., T. Reps, D. Melski and T. Teitelbaum, WYSINWYX: What you see is not what you execute, in: Verified Software: Theories, Tools, Experiments (2007), to appear
2. A methodology for hardware verification based on logic simulation;Bryant;Journal of the ACM,1991
3. Model Checking;Clarke,1999
4. Temporal and modal logics;Emerson,1990
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model checking C source code for embedded systems;International Journal on Software Tools for Technology Transfer;2009-03-19