Are timing vulnerabilities discoverable by formal verification?

1 points by git_rancher 8y ago ↗ HN

2 comments

[ 3.1 ms ] story [ 14.6 ms ] thread

rurban 8y ago ↗

Yes

git_rancher 8y ago ↗

How is the time dimension modeled?