Using Bounded Model Checking with BOGOR. - Taehoon Lee 003; Mintaek Cho; Gihwon Kwon (SERA, 2007)