Using Bounded Model Checking with BOGOR.

Taehoon Lee, Mintaek Cho, Gihwon Kwon

Browse the full SERA paper archive.