New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Reading papers related to ours #23

Open

efenniht opened this issue Aug 14, 2019 · 2 comments

Collaborator

efenniht commented Aug 14, 2019

ICSE SEiP에 제출된 논문 중 우리와 비슷한 것들을 읽고 어떻게 썼는 지 참고해 봅시다!

Collaborator Author

efenniht commented Aug 14, 2019

찾은 것들:

Engineering the Servo Web Browser Engine using Rust (2016)
A Candid Industrial Evaluation of Formal Software Verification using Model Checking (2014)

Member

jeehoonkang commented Sep 7, 2019

@efenniht please have a look at: https://www.ssrg.ece.vt.edu/papers/fmcad19.pdf

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment