Search for Author All Reviews
	Nori, Aditya V.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Compositional may-must program analysis: unleashing the power of alternation Godefroid P., Nori A., Rajamani S., Tetali S. ACM SIGPLAN Notices 45(1): 43-56, 2010.  Type: Article The problem of software model checking is quite simply stated: is it possible to reach a particular instruction in the program when executing it? This paper is the culmination of nearly a decade of effort toward solving this problem. T...... Apr 2 2010     Proofs from tests Beckman N., Nori A., Rajamani S., Simmons R.  Software testing and analysis (Proceedings of the 2008 International Symposium on Software Testing and Analysis, Seattle, WA, Jul 20-24, 2008) 3-14, 2008.  Type: Proceedings Based in the area of software verification that uses model-checking methods, this paper builds on the recent verification methods that employ the technique of counterexample guided abstraction refinement (CEGAR) for prov...... Sep 29 2008
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy