ґрунтуються на застосуванні

прийомів логіки у процесі контролю

застосовуються при

перевірці кількісної характеристики об'єктів контролю

побудова організаційних та інформаційних моделей

об'єктів контролю, які дають змогу оптимізувати проведення контролю за часом і

якісними характеристиками із застосуванням обчислювальної техніки

перевірка відповідності

функціонування об'єкта контролю правилам, передбаченим нормативно-правовими

актами

поділ об'єкта контролю на

складові елементи і дослідження їх із застосуванням спеціальних методик