Teknologi adalah alat yang berfungsi untuk membantu manusia dalam melakukan suatu
aktifitas. Dengan penggunaan teknologi dalam bidang industri membuat hasil produksi
barang lebih banyak. Salah satu teknologi yang memiliki dampak paling besar di bidang
industri yaitu mesin otomatis. Mesin otomatis adalah suatu rangkaian teknologi yang
bertujuan untuk merubah kegiatan yang bersifat manual ke otomatis yang memiliki tujuan
untuk mempercepat proses pembuatan barang, dan memiliki hasil barang yang lebih …

2 Metode Metode yang digunakan dalam pelaksanaan penelitian ini adalah formal
methods. Formal methods atau metode formal, dalam ilmu komputer dan rekayasa
perangkat lunak, adalah suatu pemodelan matematika, yang dapat digunakan untuk
menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi perangkat
keras dan piranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian
hasil [3].