«se.software-engineering» 태그된 질문

정지 문제는 그것을 위해 다른 프로그램이 멈추는 경우 확인할 수있는 프로그램 작성 불가능하다고 주장한다 가능한 모든 입력 프로그램 . 그러나 확실히 다음과 같은 프로그램의 실행 시간을 계산할 수있는 프로그램을 작성할 수 있습니다. for(i=0; i<N; i++) { x = 1; } 실행하지 않고 의 시간 복잡성을 반환 합니다.엔NN 다른 모든 입력 …

23 computability  time-complexity  formal-methods  se.software-engineering 

나는 자율 학습 공식적인 방법입니다. 공식적인 방법을 사용하여 미션 크리티컬 소프트웨어 (예 : 원자로 컨트롤러, 항공기 비행 컨트롤러, 우주 탐침 컨트롤러)를 만드는 데 사용됩니다. 그래서 나는 그것을 배우고 싶습니다 : p 그러나 공식적인 방법 (특히 LTL, CTL 및 형제)을 배우면 사양의 정확성 (안전성, 활력, 공정성 등)을 확인하는 데만 사용할 수 …

15 program-verification  formal-methods  se.software-engineering