Browse by Tags

  • Blog Post: Z3 wins 2015 ACM SIGPLAN Award

    On Monday, June 15, Microsoft Research’s Z3 theorem prover received the 2015 ACM SIGPLAN Programming Languages Software Award . This prestigious award honors an institution or individuals for “developing a software system that has had a lasting influence, reflected in contributions to concepts...
  • Blog Post: Testing Tools at a Conference Week in Zurich

    The beautiful interior of the Eidgenössische Technische Hochschule’s (ETH, the Swiss Federal Institute of Technology) main building in Zurich is always abuzz with conferences at the end of June, including TOOLS —and this year was no exception. Now in its forty-ninth iteration, TOOLS...
Page 1 of 1 (2 items)