Browse by Tags

  • Blog Post: Workshop Explores Opportunities in Verified Software

    Building verifiably reliable and trustworthy software is one of the ultimate objectives of software engineering. With this goal in mind, academics, scientists, and researchers gathered in Shanghai, China, for the second Verified Software Workshop and Summer School . The event, which took place from August...
Page 1 of 1 (1 items)