Cs-Lo
LTL 합성 도구의 실험 평가: 현황, 문제점 및 표준화 방안
Hybrid 이론의 구현 개선과 추상 인터페이스
스마트 스웜 탐색을 위한 HIVE 도구
계산 가능한 그래프의 거리 함수와 함수형 진리표 감소 가능성
무한 레지스터 기계의 코인덕티브 의미론
동적 스레드 생성 프로그램의 컨텍스트 제한 분석
정밀 수치 불변식 계산을 위한 정책 반복·반정정 프로그램 결합
무한 구조 위의 트리와 동기화 경로 논리
선형 순서 논리에서 영감을 받은 람다 항 표현
계층형 상태 기계와 등급 CTL을 이용한 효율적인 테스트 생성 모델 검증
모델 기반 트레이스 검증: 실무 적용과 가능성
지능형 분산 의사결정 절차를 위한 게으른 분해와 크레이그 보간법
멀티스레드 프로그램을 위한 부분 중복 제거
플랫폼 의존 검증 21세기 검증 도구 설계
트리 자동 구조의 위계와 동형 문제의 독립성
반사성 및 대각선 논증의 한계와 새로운 실수 생성 알고리즘
단순연결 평면 연속체의 비계산성
통합 수량 논리와 유니티 전제의 한계
데이터 단어와 2변수 논리를 위한 약한 자동기
대다수 의미를 담은 제네릭 명사구의 형식론적 분석
DeLP 지식 변화: 논증 이론 변화를 통한 최소 수정 전략
PTaCL: 속성 기반 접근 제어를 위한 통합 정책 언어
