Proverif Editor

SPI-CALCULUS¿¡ ÁöÁ¤µÈ ÇÁ·ÎÅäÄÝ È®ÀÎ ¹× ÆíÁý
Áö±Ý ´Ù¿î·Îµå

Proverif Editor ¼øÀ§ ¹× ¿ä¾à

±¤°í

  • Rating:
  • ƯÇã:
  • GPL
  • °¡°Ý:
  • FREE
  • °Ô½ÃÀÚ À̸§:
  • Joeri de Ruiter
  • °Ô½ÃÀÚ À¥»çÀÌÆ®:

Proverif Editor ű×


Proverif Editor ¼³¸í

SPI-CALCULUS¿¡ ÁöÁ¤µÈ ÇÁ·ÎÅäÄÝÀ» È®ÀÎÇÏ°í ÆíÁýÇϽʽÿÀ Proverif Editor Proverif.developerÀÇ ÄÚ¸àÆ®¸¦ »ç¿ëÇÏ¿© SPI-Calculus¿¡ ÁöÁ¤µÈ ÇÁ·ÎÅäÄÝÀ» ÆíÁýÇÏ°í È®ÀÎÇÏ´Â ÆíÁý±â°¡ ÆíÁý±â¸¦ »ç¿ëÇϽʽÿÀ (³» °³ÀÎÀûÀÎ SourceForge ÆäÀÌÁö¿¡¼­ ³» À̸ÞÀÏ ÁÖ¼Ò¸¦ ãÀ» ¼ö ÀÖ½À´Ï´Ù). ¶ÇÇÑ ÆíÁý±â¸¦ »ç¿ëÇÒ ¶§ ¹ß»ýÇÒ ¼öÀÖ´Â ¹ö±× ¶Ç´Â Á¦¾È »çÇ×À» ½Å°íÇϽʽÿÀ. ¿ä±¸ »çÇ× : ¡¤ ÆÄÀ̽㠡¤ Pygtk. ¡¤ PyGtksourceview.


Proverif Editor °ü·Ã ¼ÒÇÁÆ®¿þ¾î

GNU Coreutils.

GNU ÄÚ¾î À¯Æ¿¸®Æ¼´Â GNU ¿î¿µ üÁ¦ÀÇ ±âº» ÆÄÀÏ, ½© ¹× ÅؽºÆ® Á¶ÀÛ À¯Æ¿¸®Æ¼ÀÔ´Ï´Ù. ...

200

´Ù¿î·Îµå