atom-0.0.2: A DSL for embedded hard realtime applications.
Language.Atom.Verify
verify :: Int -> [[[Rule]]] -> [UV] -> (String, UE) -> IO BoolSource