Analysis with reachability and coverability trees