Author:
Charvát Lukáš,Smrčka Aleš,Vojnar Tomáš
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference27 articles.
1. Aagaard, M.D.: A hazards-based correctness statement for pipelined circuits. In: Proceedings of Correct Hardware Design and Verification Methods (CHARME’03), LNCS, vol. 2860, pp. 66–68. Springer (2003)
2. Abdulla, P.A., Haziza, F., Holík, L.: All for the price of few (parameterized verification through view abstraction). In: Proceedings of Verification, Model Checking, and Abstract Interpretation (VMCAI’13), LNCS, vol. 7737, pp .476–495. Springer (2013)
3. Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanovi’c, D., King, T., Reynolds, A., Tinelli, C.: CVC4. In: Proceedings of the 23rd International Conference on Computer Aided Verification (CAV’11), LNCS, vol. 6806, pp. 171–177. Springer (2011)
4. Bouajjani, A., Habermehl, P., Vojnar, T.: Abstract regular model checking. In: Proceedings of 16th International Conference on Computer Aided Verification (CAV’04). LNCS, vol. 3114, pp. 197–202. Springer (2004)
5. Brummayer, R., Biere, A.: Boolector: an efficient SMT solver for bit-vectors and arrays. In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’09). LNCS, vol. 5505, pp. 174–177. Springer (2009)