Comment Comment by _doctor_love > And at scale I've proven 10,000 active (input/output happening) terminals on a Linux server with 4 cores and 8 GB of RAM.When you say you've proven, are you hinting at use of formal verification? parent _doctor_love 3 days ago
When you say you've proven, are you hinting at use of formal verification?