Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference28 articles.
1. Owicki, S., Gries, D.: Verifying properties of parallel programs: an axiomatic approach. Commun. ACM 19(5), 279–285 (1976). doi:
10.1145/360051.360224
2. Sinha, A., Malik, S., Gupta, A.: Efficient predictive analysis for detecting nondeterminism in multi-threaded programs. In: FMCAD’12, pp. 6–15 (2012)
3. Wang, C., Kundu, S., Ganai, M., Gupta, A.: Symbolic predictive analysis for concurrent programs. In: Proceedings of the 2nd World Congress on Formal Methods, pp. 256–272. Berlin, Heidelberg (2009). ISBN 978-3-642-05088-6. doi:
10.1007/978-3-642-05089-3_17
4. Sethi, D., Talupur, M., Malik, S.: Model checking software. In: Proceedings of 20th International Symposium, Spin 2013, Stony Brook, NY, USA, July 8–9, 2013 (2013). doi:
10.1007/978-3-642-39176-7_20
5. Karfa, C., Sarkar, D., Mandal, C., Kumar, P.: An equivalence-checking method for scheduling verification in high-level synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(3), 556–569 (2008). ISSN 0278-0070