Lines Matching defs:system
172 \subsection{Relation to the Voss system}\label{related}\index{HolBddLib!Voss, relation to}
174 The Voss system \cite{SegerVoss} has strongly influenced and inspired
182 Joyce and Seger interfaced an early HOL system (HOL88) to Voss and in
185 evaluation (STE) \cite{JoyceSeger}. The HOL-Voss system integrates HOL88
188 calls into the Voss system, passing subgoals via a translation between
196 a way of combining results obtained from STE. A system based on this
208 VossProver systems evolved into a new system called Forte. Only partial details
232 Joyce and Seger \cite{JoyceSeger} and it appears that the Forte system
262 The current \HolBuddy{} system only uses \t{bdd} and so
955 the \emph{finalized values} facility of the \mosml{} runtime system.
960 A finalized value, in the \mosml{} runtime system, is a pair where the
996 the representation of the reachable states of a transition system,