predicate formal-methods logic
Ver mais