What problem do we solve Arial 80 pt

1
What problem do we solve? Arial 80 pt
Mathematical techniques for managing complexity
NICTA develops methods for achieving the highest
levels of quality assurance by using logical
languages and mathematical techniques for system
specification and verification, placing system
development on a solid scientific foundation.
Example of a thought experiment used to unveil
relevant liveness requirements that certain
systems ought to obey.

• Rigorous models for systems aspects such as
• uncertainty, probability
• concurrency
• real time
• security information flow
• on which to base development and verification
  methodologies
• Example formal notations for workflow