1. A method for deriving a process-based specification for a system, comprising: deriving a trace-based specification from a non-empty set of traces; and mathematically inferring the process-based specification from the trace-based specification wherein the process-based specification is mathematically equivalent to the trace-based specification.