Infinite-state backward exploration of Boolean broadcast programs | IEEE Conference Publication | IEEE Xplore