Речник на българския език
биха бодърствували е производна форма на бодърствувам (условно наклонение, 3 л., мн. ч.).