Theory and Formal Methods Lab.

Programs

  • 계층적 스케줄링 시스템 우팔(UPPAAL) 모델

    • Registration Number: C-2014-031113
    • Date of Creation: 01 NOV 2014
    • Date of Registration: 08 DEC 2014
    • Author(s): 고려대학교산학협력단(안소진, 최진영)
  • 한국어 학습 어플리케이션

    • Registration Number: C-2014-031334
    • Date of Creation: 05 DEC 2012
    • Date of Registration: 08 DEC 2014
    • Author(s): 고려대학교산학협력단(이동호, 최진영)
  • ACSR(에이씨에스알)을 이용한 계층적 스케줄러 시뮬레이션 프로그램

    • Registration Number: C-2013-027762
    • Date of Creation: 1 NOV 2013
    • Date of Registration: 16 DEC 2013
    • Author(s): 고려대학교산학협력단(황대연, 최진영)
  • ACSR(에이시에스알)을 이용한 계층적 스케줄러 분석 프로그램

    • Registration Number: C-2013-027763
    • Date of Creation: 1 NOV 2013
    • Date of Registration: 16 DEC 2013
    • Author(s): 고려대학교산학협력단(박준길, 황대연, 최진영)
  • UML State Machines의 정형 검증을 위한 모델 변환 프로그램

    • Registration Number: 2008-01-229-000013
    • Date of Creation: 31 Dec 2007
    • Date of Registration: 4 Jan 2008
    • Author(s): 최진영 박승현
  • Casper를 이용한 SSH, EKE, CEPS(PSAM, LSAM), RADIUS(PAP, EAP-!MD5), ASK, BCY, Carlsen BCY, Mu-Varadharajan BCY, Revised BCY 프로토콜 명세

    • Registration Number: 2005-01-199-003321
    • Date of Creation: 1 Jan 2005
    • Date of Registration: 22 Jun 2004
    • Author(s): 최진영 김일곤 김현석
  • sc2mv (!SystemC to Blif-mv translation) ver.2.0.1

    • Registration Number: 2004-01-23-1854
    • Date of Creation: 1 Apr 2004
    • Date of Registration: 17 Apr 2004
    • Author(s): Jin-Young Choi, Young-Jung Ahn
  • ACG-C#

    • Registration Number: 2004-01-269-006176
    • Date of Creation: 10 Nov 2004
    • Date of Registration: 24 Nov 2004
    • Author(s): 최진영 전철욱 김일곤
  • sc2mv (!SystemC to Blif-mv translation) ver.1

    • Registration Number: 2002-01-23-8110
    • Date of Creation: 30 Nov 2002
    • Date of Registration: 27 Dec 2002
    • Author(s): Jin-Young Choi, Min-Sook Kim
  • Dictionary Attack 방지를 위한 S/KEY 시스템

    • Registration Number: 2002-01-24-8111
    • Date of Creation: 2 Feb 2002
    • Date of Registration: 27 Dec 2002
    • Author(s): 최진영 김일곤
  • 우선순위 계승 프로토콜의 동작적 명세 프로그램

    • Registration Number: 2000-01-15-3323
    • Date of Creation: 25 Nov 1999
    • Date of Registration: 12 May 2000
    • Author(s): 최진영, 유희준
  • Message Digest 4 (!MD4) 알고리즘의 Z 명세 프로그램

    • Registration Number: 2000-01-15-3322
    • Date of Creation: 25 Nov 1999
    • Date of Registration: 12 May 2000
    • Author(s): 최진영, 유희준
  • 우선순위 상한 프로토콜의 동작적 명세 프로그램

    • Registration Number: 98-01-21-0181
    • Date of Creation: 1 Mar 1997
    • Date of Registration: 19 Jan 1998
    • Author(s): 최진영
  • 우선순위 상한 프로토콜의 함수명 명세 프로그램

    • Registration Number: 98-01-21-0182
    • Date of Creation: 1 Mar 1997
    • Date of Registration: 19 Jan 1998
    • Author(s): 최진영
  • 우선순위 계승 프로토콜의 동작적 명세 프로그램

    • Registration Number: 98-01-21-0179
    • Date of Creation: 1 Mar 1997
    • Date of Registration: 19 Jan 1998
    • Author(s): 최진영
  • 우선순위 계승 프로토콜의 함수명 명세 프로그램

    • Registration Number: 98-01-21-0180
    • Date of Creation: 1 Mar 1997
    • Date of Registration: 19 Jan 1998
    • Author(s): 최진영



SNS

  • Facebook Group
  • Yammer


  • ©all rights reserved