Custom Search

Formal Methods Index

Sets:

  • relations and functions;
  • applications to specification.

Logic:

Predicate calculus:

universal and existential qualifiers.