tla+

小bo波2 小时前
java·软件工程·uml·面向对象·形式化方法·tla+
形式化方法 × UML代码写得好不好，和框架用得多溜，可能根本不是一回事。写Java的都知道，并发编程是噩梦。你写了一个ConcurrentHashMap的缓存逻辑，JUnit测了100遍都通过，上线后第101次请求还是可能死锁。为什么？
我是有底线的