Подборка ссылок по верификации распределенных систем и sequential calculus.
Concurrent structures linked in time: http://software.imdea.org/~aleks/ecoop17/ecoop17.pdf
Курс введение в separation logic:
https://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox-19/member/jcr/www15818As2011/cs818A3-11.html
Введение в separation logic (немного устаревшее):
https://www.youtube.com/playlist?list=PLiHLLF-foEeyf7rtMFppo19f2egKqZGvC
Список публикаций по теме: http://software.imdea.org/~aleks/
Другие направления:
* verdi http://verdi.uwplse.org/
* Promela/spin: https://link.springer.com/chapter/10.1007/BFb0055359?no-access=true
* Так же про promela/spin есть главы в "Is Parallel Programming Hard, And, If So, What Can You Do About It?" исходники которой можно поставить с git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git
Все кроме последней ссылки пока не просмотрено.
Concurrent structures linked in time: http://software.imdea.org/~aleks/ecoop17/ecoop17.pdf
Курс введение в separation logic:
https://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox-19/member/jcr/www15818As2011/cs818A3-11.html
Введение в separation logic (немного устаревшее):
https://www.youtube.com/playlist?list=PLiHLLF-foEeyf7rtMFppo19f2egKqZGvC
Список публикаций по теме: http://software.imdea.org/~aleks/
Другие направления:
* verdi http://verdi.uwplse.org/
* Promela/spin: https://link.springer.com/chapter/10.1007/BFb0055359?no-access=true
* Так же про promela/spin есть главы в "Is Parallel Programming Hard, And, If So, What Can You Do About It?" исходники которой можно поставить с git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git
Все кроме последней ссылки пока не просмотрено.
Подборка ссылок по верификации распределенных систем и sequential calculus.
Concurrent structures linked in time: http://software.imdea.org/~aleks/ecoop17/ecoop17.pdf
Курс введение в separation logic:
https://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox-19/member/jcr/www15818As2011/cs818A3-11.html
Введение в separation logic (немного устаревшее):
https://www.youtube.com/playlist?list=PLiHLLF-foEeyf7rtMFppo19f2egKqZGvC
Список публикаций по теме: http://software.imdea.org/~aleks/
Другие направления:
* verdi http://verdi.uwplse.org/
* Promela/spin: https://link.springer.com/chapter/10.1007/BFb0055359?no-access=true
* Так же про promela/spin есть главы в "Is Parallel Programming Hard, And, If So, What Can You Do About It?" исходники которой можно поставить с git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git
Все кроме последней ссылки пока не просмотрено.
Concurrent structures linked in time: http://software.imdea.org/~aleks/ecoop17/ecoop17.pdf
Курс введение в separation logic:
https://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox-19/member/jcr/www15818As2011/cs818A3-11.html
Введение в separation logic (немного устаревшее):
https://www.youtube.com/playlist?list=PLiHLLF-foEeyf7rtMFppo19f2egKqZGvC
Список публикаций по теме: http://software.imdea.org/~aleks/
Другие направления:
* verdi http://verdi.uwplse.org/
* Promela/spin: https://link.springer.com/chapter/10.1007/BFb0055359?no-access=true
* Так же про promela/spin есть главы в "Is Parallel Programming Hard, And, If So, What Can You Do About It?" исходники которой можно поставить с git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git
Все кроме последней ссылки пока не просмотрено.
У записи 1 лайков,
0 репостов,
90 просмотров.
0 репостов,
90 просмотров.
Эту запись оставил(а) на своей стене Alexander Vershilov
