Man pages matching name jbmc in section 1:

jbmc.1.en	debian 10 / cbmc
jbmc.1.en	debian 11 / cbmc
jbmc.1.en	debian 13 / jbmc