PKC Workflow/System Verification by TLA+/Process/Planning

From PKC
Revision as of 06:13, 25 August 2021 by KevinTung (talk | contribs) (Created page with "ref: tla book; tla+ tool models a design in a <blockquote> <p> ''A specification is a mathematical model of a particular view of some part of a system. When writing a spec...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

ref: tla book;

tla+ tool models a design in a

A specification is a mathematical model of a particular view of some part of a system. When writing a specification, the first thing you must choose is exactly what part of the system you want to model.

from Book/Specifying System

Retrieved from "https://pkc.pub/index.php?title=PKC_Workflow/System_Verification_by_TLA%2B/Process/Planning&oldid=10146"