HOL-TestGen 1.7.0
HOL-TestGen laat een toets spesifikasies in Hoër-orde logika te skryf (HOL). Dit kan (semi-) outomaties verdeel die insette ruimte, wat in abstrakte toets gevalle en beton toets data outomaties kies.Outomatiese generasie van toets bome (in SML) word...