The project aims at establishing a new application field for algebraic methods in systems biology. We plan to develop methods utilizing Gröbner bases and related concepts for the characterization of attractor sets representing different cell fates in Boolean models of molecular networks and integrate them with existing formal verification approaches. Both theoretical and computational aspects will be investigated.