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

Submitted by user123 on Sat, 07/17/2021 - 10:53

Author Name

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

Published In

VIRGINIA POLYTECHNIC INST AND STATE UNIV BLACKSBURG

Year

2015