This chapter summarizes the CoBRA application in the context of Japan Manned Space Systems Corporation, Japan (JAMSS). In this chapter, we will show how to adapt the baseline CoBRA model development process to the specific context of independent verification and validation (IV&V), which is different from the kind of software development to which CoBRA is typically applied. We will demostrate how to create CoBRA models for different IV&V objectives and how to address typical constraints of the IV&V context.