Hypertesting: The Case for Automated Testing of Hyperproperties

Johannes Kinder

Research output: Chapter in Book/Report/Conference proceedingConference contribution

514 Downloads (Pure)
Original languageEnglish
Title of host publication3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015)
Pages1-8
Number of pages8
Publication statusPublished - Mar 2015
Event3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015) - , United Kingdom
Duration: 18 Apr 2015 → …

Conference

Conference3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015)
Country/TerritoryUnited Kingdom
Period18/04/15 → …

Cite this