비즈니스 Invariant 검증을 통한 시스템 상태 무결성 확보 전략
Métodos formales y el futuro de la programación: qué vale la pena probar y dónde está el techo
하드웨어 실패를 전제로 설계한 S3의 11 nines 내구성 달성 전략
Amazon S3 Doesn't Hope Hardware Won't Fail. It Assumes It Already Has.
Why3 기반 Rust 코드 정적 검증 및 Deductive Verification 구현
Creusot helps you prove your Rust code is correct
Lean 4를 통한 ACID 모델 정형화를 통한 아키텍처 불변량(Invariant) 정의 체계 수립
When Lean Proved My Durability Definition Too Easily
High-Throughput Sealevel vs Formal-Verified eUTXO 아키텍처 트레이드오프 분석
Solana vs Cardano: Real Tradeoffs for 2026 Builders
Property-Based Testing 기반 AI 생성 명세 검증으로 28개 주장 중 27개 정밀 검증 성공
A Truth Filter for AI Output: An Experiment with Property-Based Testing
AWS News Blog
Amazon S3가 20년 동안 저장 용량을 1PB에서 500조 객체 규모로 확장하면서 가격을 85% 인하하고 API 하위 호환성 100% 유지
Twenty years of Amazon S3 and building what’s next