Кампанія AdaCore абвясціла аб выпуску вольнай версіі свайго набору прылад для верыфікацыі праграмнага забеспячэння — SPARK GPL Edition.Вольная рэдакцыя SPARK, GPL Edition, складаецца з некалькіх кампанентаў: азначэнне мовы SPARK, поўны набор утыліт SPARK Toolset (у яго ўваходзяць Examiner, Simplifier і Checker), дапаможныя прылады (SPARKSimp, SPARKMake, SPARKFormat і POGS). Акрамя таго, вучэбныя дапаможнікі па SPARK і SPARK Pro уключаныя ў склад спадарожнага рэлізу пакета Tokeneer Discovery.Мова праграмавання SPARK заснаваны на Ada і закліканы спрыяць распрацоўцы добра інтэграванага ПА, выкарыстоўванага ў прыкладанняў і сістэмах, дзе ключавая роля адводзіцца прадказальнасці і высокай надзейнасці кожнай выкананай аперацыі.
рэкамендуем прачытаць таксама
