Formal Methods for Incorrectness 2024

Event name
Formal Methods for Incorrectness 2024
 
Event type
Event for scientific audience
 
Start date
16-01-2024
End date
20-01-2024
 
Location
London
Country
United Kingdom
 
Organizing institution Veranstaltende Institution
Institution of Engineering and Technology (IET), Savoy Place, London
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Niessen-2024-Finding counterexamples to  hyperproperties-am.pdf.jpgNießen, Tobias ; Weissenbacher, Georg Finding counterexamples to ∀∃ hyperpropertiesPresentation Vortrag 16-Jan-2024