形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"A novel is a world you can hold in your hands."
If you want to fly, you have to give up the things that weigh you down.
The only thing that is truly yours is your passion.
I think about the ways in which abstraction can be a form of figuration.