Author:
Armoni Roy,Fix Limor,Flaisher Alon,Grumberg Orna,Piterman Nir,Tiemeyer Andreas,Vardi Moshe Y.
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;R. Armoni,2002
2. Beaty, D., Bryant, R.: Formally verifying a microprocessor using a simulation methodology. In: 31st DAC. IEEE Computer Society, Los Alamitos (1994)
3. Beer, I., Ben-David, S., Eisner, C., Rodeh, Y.: Efficient detection of vacuity in ACTL formulas. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 279-290. Springer, Heidelberg (1997)
4. Full version in FMSD 18 (2), 141-162 (2001)
5. Lecture Notes in Computer Science;E.M. Clarke,1982
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Vacuity in synthesis;Formal Methods in System Design;2021-09
2. Inherent vacuity for GR(1) specifications;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07
3. Synthesizing adaptive test strategies from temporal logic specifications;Formal Methods in System Design;2019-10-14
4. Satisfiability Checking for Mission-Time LTL;Computer Aided Verification;2019
5. A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table;Model Checking Software;2019