Search for Author All Reviews
	Basu, Samik     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 model checking of software product lines using variation point obligations Liu J., Basu S., Lutz R. Automated Software Engineering 18(1): 39-76, 2011.  Type: Article A prominent challenge in model checking lies in alleviating the state explosion problem of complicated systems. Compositional model checking is a mathematically founded technique for reasoning about complex systems by employing a modul...... Jul 6 2011     Model checking the Java metalocking algorithm Basu S., Smolka S. ACM Transactions on Software Engineering and Methodology 16(3): 12-es, 2007.  Type: Article Basu and Smolka present a case study of modeling and verifying the Java metalocking algorithm using the XMC model checker. They verify the correctness of the metalocking algorithm by manually constructing a model of the algorithm, and ...... Jan 10 2008
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy