FastCheck es un marco de pruebas basado en propiedades que ayuda a probar condiciones de carrera mediante la generación de ejecuciones aleatorias y la gestión de la resolución de llamadas a la API de manera que se pueda verificar la robustez de la aplicación frente a condiciones incontrolables.