Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Theoretical Computer Science,Software
Reference42 articles.
1. Ábrahám, E, & Kremer, G. (2016). Satisfiability checking: theory and applications. In Proc. of SEFM’16 (pp. 9–23).
2. Bensalem, S., Havelund, K., Orlandini, A. (2014). Verification and validation meet planning and scheduling. STTT, 16(1), 1–12.
3. Berry, G., & Gonthier, G. (1992). The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2), 87–152.
4. Biere, A., Cimatti, A., Clarke, E.M., Zhu, Y. (1999). Symbolic model checking without BDDs. In Proc. of TACAS’99 (pp. 193–207).
5. Bjørner, N., Phan, A., Fleckenstein, L. (2015). ν z - An optimizing SMT solver. In Proc. of TACAS’15 (pp. 194—199).
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献