Ditemukan 1 dokumen yang sesuai dengan query
Dwi Ananto Aryotojo, author
Salah satu alat bantu untuk melakukan verifikasi program dengan komputer adalah HOL theorem prover. HOL cukup populer namun memiliki keterbatasan dalam merepresentasikan program. Penggunaan HOL juga cukup sulit dan membutuhkan pengalaman yang tidak sedikit. Untuk mengatasi keterbatasan HOL terutama dalam merepresentasikan program dikembangkanlah xMECH. XMECH adalah pengembangan dari HOL yang...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2002
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
