Computer Software - , Illinois, United States
At ProActive Modeling we specialize in the development of software using formal methods which are the most effective techniques for achieving high quality software. Formal methods are fast becoming one of the hottest areas in the field of software engineering both at the Academia and at the Industry.
Gmail
Google Apps