Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen komut caduceus'tur.
Program:
ADI
neden - Çok dilli, çok kanıtlı bir doğrulama aracı
SİNOPSİS
neden [ seçenekleri ] Dosyaları
AÇIKLAMA
neden bir doğrulama aracıdır. Açıklamalı programları girdi olarak alır (ML veya C sözdiziminde) ve
birkaç prova yardımcısı (Coq, PVS, HOL Light, Mizar) için doğrulama koşulları çıktısı verir
ve karar prosedürleri (haRVey, Simplify).
SEÇENEKLER
-h Yardım. Size komut satırı seçeneklerinin tam listesini verecektir.
YAZARLAR
Jean-Christophe Filiatre <[e-posta korumalı]>
onworks.net hizmetlerini kullanarak caduceus'u çevrimiçi kullanın
