importance in industrial and government applications. The FAABS (Formal Approaches to