Industry Strength Tool and Technology for Automated Synthesis of Safety-Critical Applications from Formal Specifications

Author Name

Sandeep K Shukla, Mahesh Nanjundappa, Matthew Anderson, Avik Dayal, Mathew Kracht

Year

2015

Published In

VIRGINIA POLYTECHNIC INST AND STATE UNIV BLACKSBURG