Researcher in Formal Verification, specialised in automatic verification methods, such as model checking, equivalence checking, decision procedures, and satisfiability checking. Focus on scalable techniques for real world applications. Trying to drive Formal Verification into the main stream of hardware and software design. LinkedIn
The professional profile on LinkedIn for Armin Biere. LinkedIn is a networking tool that helps users like Armin Biere discover inside connections... www.linkedin.com/pub/1/351/581