verification

6calore

2risposta

Perché questo .Net IL non è verificabile?

Ho un po 'di IL personalizzata che ho scritto e non passerà PEVerify. L'errore che ottengo è $ peverify foo.exe Microsoft (R) .NET Framework PE Verifier. Version 4.0.30319.17929 Copyright (c) Mic

.net verification il peverify 2012-11-07

---

6calore

2risposta

Vettori di prova per unità a virgola mobile

Ho progettato un moltiplicatore a virgola mobile a precisione singola a 32 bit e anche un'unità di addizione/sottrazione separata in Verilog. Ho uno script in MATLAB che ho scritto che genera un numer

floating-point verification 2013-02-22

---

6calore

3risposta

corretto uso di "forchetta disable" in SystemVerilog

ho qualcosa simile al seguente pseudo codice: for (lets say 10 iterations) begin // Do some configuration changes fork begin ///apply input to design end begin whi

verification system-verilog 2013-01-11

---

11calore

1risposta

Esiste un modo per dimostrare le proprietà dei miei programmi C++?

Capisco come lingue come Coq e Idris possano essere utilizzate per dimostrare le proprietà dei programmi scritti in quelle lingue (a giudicare dalla mia piccola esperienza in materia), ma mi chiedo se

c++ verification coq proof-of-correctness 2014-12-14

---

6calore

2risposta

Verifica numero telefonico Android

Ho bisogno di un modo per verificare che il numero di cellulare impostato nella mia applicazione Android sia corretto come in "proprietà" - non la convalida dei dati del numero di cellulare. E.g. il m

android sms whatsapp phone-number verification 2013-01-17

---

5calore

1risposta

curl_setopt cacert.pem per paypal

Sto provando a impostare un gestore di callback per la verifica IPN (paypal). So cosa fa il ricciolo, ma non so che cosa sia "cacert.pem" (certificato ...?). questo è dove il file callback.php fallisc

php paypal certificate verification paypal-ipn 2013-03-12

---

11calore

2risposta

LVL Android Verifica firma non riuscita

Sto cercando di implementare l'espansione APK Downloader Biblioteca nella mia domanda, ma sto lottando per superare il controllo di verifica LVL. Ogni volta che eseguo l'applicazione, ricevo un messag

java android signature verification android-lvl 2012-10-17

---

12calore

1risposta

Come modificare il proprietario di un'applicazione appengine (spostandolo/vendendolo a una nuova società)

Ho sviluppato un'applicazione AppEngine che sto trasferendo a un'azienda diversa e vorrei rimuovere il mio accesso personale da questa applicazione dopo il trasferimento all'altra azienda è completo.

google-app-engine admin verification account 2012-05-29

---

9calore

1risposta

Comando combinato per verifica tag git e checkout git?

Il flusso di lavoro normale è, verifica tag git. git tag -v tagname Quindi check tag git. git checkout tagname Esiste un comando combinato per verificare il tag, mostra la verifica e lo controlla

git security verification git-checkout git-tag 2014-09-22

---

19calore

1risposta

Limiti di risolutori SMT

Tradizionalmente la maggior parte del lavoro con la logica computazionale era proposizionale, nel qual caso si utilizzava un solutore SAT (soddisfacibilità booleana) o di primo ordine, nel qual caso s

verification smt formal-methods theorem-proving 2012-07-21

---