Joined
Last Seen
0 Reputation Points
Unknown Quality Score
No one has voted on any posts yet. Votes from other community members are used to determine a member's reputation amongst their peers.
0 Endorsements
Ranked #107.70K
1 Posted Topic
Hi everyone, I’m currently working with a university research group, and we’re exploring the real-world use of software verification tools in industry. We’re particularly interested in whether there is a market for mathematical reasoning tools (e.g., formal verification, model checking, static analysis) and how they are actually being used in …
The End.