| Å° - Å×½ºÆ® ÄÉÀ̽º »ý¼º±â »ç¾ç¿¡¼ ´ÜÀ§ Å×½ºÆ®¸¦ »ý¼º ÇÒ ¼öÀÖ´Â ¼ÒÇÁÆ®¿þ¾î |
Áö±Ý ´Ù¿î·Îµå |
Å° - Å×½ºÆ® ÄÉÀ̽º »ý¼º±â ¼øÀ§ ¹× ¿ä¾à
- °Ô½ÃÀÚ À̸§:
- The KeY Project
- °Ô½ÃÀÚ À¥»çÀÌÆ®:
- http://www.key-project.org
Å° - Å×½ºÆ® ÄÉÀ̽º »ý¼º±â ű×
Å° - Å×½ºÆ® ÄÉÀ̽º »ý¼º±â ¼³¸í
»ç¾ç¿¡¼ ÀåÄ¡ Å×½ºÆ®¸¦ »ý¼º ÇÒ ¼öÀÖ´Â ¼ÒÇÁÆ®¿þ¾î Å° - Å×½ºÆ® ÄÉÀ̽º »ý¼º±â´Â °ø½Ä Áõ¸í ¿Ü¿¡µµ Specifications.Key¿¡¼ ´ÜÀ§ Å×½ºÆ®¸¦ »ý¼º ÇÒ ¼öÀÖ´Â ÀÚÀ¯ ¼ÒÇÁÆ®¿þ¾îÀÔ´Ï´Ù. Å×½ºÆ® ÄÉÀ̽º »ý¼º±â´Â Java ÇÁ·Î±×·¡¹Ö ¾ð¾î·Î ÀÛ¼ºµË´Ï´Ù. ¿ä±¸ »çÇ× : ¡¤ Java 1.5 ÀÌ»ó
Å° - Å×½ºÆ® ÄÉÀ̽º »ý¼º±â °ü·Ã ¼ÒÇÁÆ®¿þ¾î