4 ms·
AWS recently mentioned something called PObserve in an ACM article. They said it checks logs emitted from the running application against the formal model. Sou
by bbkane 1y ago
AWS recently mentioned something called PObserve in an ACM article.
They said it checks logs emitted from the running application against the formal model. Sounds really useful for this exact problem; hopefully one day they'll open source it.
- pjmlp 1y agoI would need to check the article, although it sounds very fragile, expecting some logs are present in a specific format, and they actually tell the truth about what the code is doing.