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