Which models and tools do you use to write and validate code?