Author:
Sohail Saqib,Somenzi Fabio
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference45 articles.
1. Alpern B., Schneider F.B.: Defining liveness. Inf. Process. Lett. 21, 181–185 (1985)
2. Alpern B., Schneider F.B.: Recognizing safety and liveness. Distrib. Comput. 2, 117–126 (1987)
3. Brayton R.K. et al.: VIS: a system for verification and synthesis. In: Henzinger, T., Alur, R. (eds) Eighth Conference on Computer Aided Verification (CAV’96) LNCS vol 1102., pp. 428–432. Springer, Rutgers University (1996)
4. Bloem, R., Galler, S., Jobstmann, B., Piterman, N., Pnueli, A., Weiglhofer, M.: Automatic hardware synthesis from specifications: a case study. In: Proceedings of the Design, Automation and Test in Europe, pp. 1188–1193 (2007)
5. Bloem, R., Galler, S., Jobstmann, B., Piterman, N., Pnueli, A., Weiglhofer, M.: Specify, compile, run: hardware form PSL. In: 6th International Workshop on Compiler Optimization Meets Compiler Verification 2007. Electronic Notes in Theoretical Computer Science. http://www.entcs.org/
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献