1주 전 · software

경로 지도를 통한 오토마타 이론 이해

Formal Verification & Automata Theory Formal verification은 소프트웨어가 올바르게 동작한다는 것을 보장하기 위해 사용되는 기법입니다. Formal verification에서, 행동은…