Pertanyaan yang diberi tag «program-logic»

3
Aturan bingkai sebagai perubahan-pemelihara?
Sebuah aturan bingkai , seperti yang diberikan di bawah ini, menangkap gagasan bahwa, mengingat program cdengan prasyarat pyang memegang sebelum berjalan dan postcondition qyang memegang sesudahnya, beberapa kondisi menguraikan rharus memegang baik sebelum dan sesudah cberjalan. ( Konektif *mensyaratkan bahwa argumennya terpisah.) Seringkali, kondisi pra dan pasca adalah keadaan tumpukan, …

3
Seberapa sulit untuk mengurangi penghentian ke kebenaran parsial?
Jika Anda terbiasa dengan verifikasi program, Anda cenderung lebih suka membaca Pertanyaan sebelum Latar Belakang . Jika Anda tidak terbiasa dengan verifikasi program maka Anda mungkin masih dapat menjawab pertanyaan ini, tetapi Anda cenderung lebih suka membaca Latar Belakang terlebih dahulu. Latar Belakang Sering dinyatakan bahwa memeriksa kebenaran sebagian tidak …


Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.