Existe una tesis donde hacen un trabajo con el B-Method para demostrar que pistachio esta bien diseñado ( "A Formal Model of the L4 u-kernel API Using the B Method") 2.
Acerca del B-Method.
Para instalar el BToolKit:
http://www.csse.monash.edu.au/courseware/cse4213/2006/resources/linuxInstall.html
Un resumen.
http://www.csse.monash.edu.au/courseware/cse4213/2006/resources/B-summary.pdf
Interoperabilidad de componentes.
http://www.iist.unu.edu/newrh/III/1/docs/techreports/report333/P05.pdf
Bueno, buscare mas documentacion que me sirva, la idea seria poder usar esa herramienta en el paso de volver pistachio distribuido.
No comments:
Post a Comment