Да проверяют. Используем так называемый "пикинг". Пришел на работу-провел картой по ленте = все ты на работе. Так же когда уходишь. В конце месяца программа выдает общее число часов, задержек ну и т.п. удобная штука.
Учет ведется, но смысла от него никакого.
Менеджеры и аналитики много времени у заказчика проводят, поэтому у них сплошные недоработки.
Программисты же очень много времени на рабочих местах, поэтому у них наоборот много переработок.