Domande taggate «formal-methods»

un particolare tipo di tecnica basata sulla matematica per la specifica, lo sviluppo e la verifica di sistemi software e hardware.

2
Cos'è la coinduzione?
Ho sentito parlare dell'induzione (strutturale). Ti permette di costruire strutture finite da quelle più piccole e ti dà principi di prova per ragionare su tali strutture. L'idea è abbastanza chiara. Ma per quanto riguarda la coinduzione? Come funziona? Come si può dire qualcosa di conclusivo su una struttura infinita? Vi …
3
Percorso di metodi formali
Non è raro vedere gli studenti iniziare i loro dottorati con un background limitato in matematica e gli aspetti formali dell'informatica. Ovviamente sarà molto difficile per tali studenti diventare teorici informatici, ma sarebbe bene se potessero diventare esperti con l'uso di metodi formali e la lettura di documenti che contengono …
5
È possibile risolvere il problema di arresto se si dispone di un input vincolato o prevedibile?
Il problema dell'arresto non può essere risolto nel caso generale. È possibile elaborare regole definite che limitano gli input consentiti e il problema di arresto può essere risolto per quel caso speciale? Ad esempio, sembra probabile che un linguaggio che non consente i loop, per esempio, sarebbe molto facile dire …
3
Perché lo stato rimane invariato nella semantica operativa a piccoli passi di un ciclo while?
Di solito vedo che nella rappresentazione semantica operativa strutturale per il ciclo while, lo stato del programma non cambia: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whioleBdoS,σ)→(iofBthenS;(whioleBdoS)elSeSKioP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Per me, questo non è intuitivo, se …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.