-
reasoning about them remains surprisingly difficult. Our research addresses this challenge in the following domains: Designing expressive languages for specifying network behavior Developing verification
Enter an email to receive alerts for hardware-verification "https:" positions