KOJAK

KOJAK 3.3

Kojak (Kit til mål Dom og Videnbaseret Påvisning af performance flaskehalse) er et sæt af generiske og interoperable værktøj komponenter udviklet til analyse af parallelle programmer ydeevne.Deres funktionalitet omhandler hele analyseprocessen herunder...

HOL

HOL 7

HOL kort fra Higher Order Logic er et programmeringssprog miljø, hvor sætninger kan bevises, og bevis værktøjer implementeret.Indbyggede beslutningsprocedurerne og Sætning provers kan automatisk etablere mange enkle sætninger. Et orakel mekanisme giver...