20 Лет Prover 1996-2016
Home | Sign Up | Log In

Общее сведение



 

Авторы языка PROVER

  • Олейник Григорий Тимофеевич

к.т.н., доцент кафедры информатики и информационной безопасности ЧГТУ,

  • Лизогуб Роман, выпускник ЧГТУ,
  • Метель Андрей, выпускник ЧГТУ, программист 1С,
  • Порецкого Михаил, выпускник ЧГТУ
  • Научный руководитель - заведующий кафедрой математических и компьютерных дисциплин Рябцев Владимир Григорьевич, доктор технических наук, профессор.

                                                                                                            

Назначение МОМ PROVER

 Чтобы обеспечить требуемую надежность модулей памяти персонального компьютера необходимо решить ряд задач тестового диагностирования. В числе данных задач находится задача разработки аппаратных средств, а также алгоритмов и программ тестового диагностирования ОЗУ. Для составления таких программ разработан машинно-ориентированный язык PROVER.

—Для снижения материальных затрат и сроков проектирования аппаратных и программных средств диагностирования микросхем оперативной памяти разработана интерпретирующая система PROVER v3.1. Интерпретация необходима для визуализации и верификации выполнения программ тестов. Верификация обеспечивается за счет наглядного представления хода выполнения программ.

Log In

Search

Calendar

«  March 2024  »
SuMoTuWeThFrSa
     12
3456789
10111213141516
17181920212223
24252627282930
31

Statistics


Total online: 1
Guests: 1
Users: 0
Copyright MyCorp © 2024 | Create a free website with uCoz