Comprobador (experimental) de BSD sobre Q