Sarai Sheinvald | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Cesar Sanchez
22 publications
Borzoo Bonakdarpour
19 publications
Tzu-Han Hsu
5 publications

research

∙ 01/15/2023

Efficient Loop Conditions for Bounded Model Checking Hyperproperties

Bounded model checking (BMC) is an effective technique for hunting bugs ...

0 Tzu-Han Hsu, et al. ∙

research

∙ 02/23/2020

Automata for Hyperlanguages

Hyperproperties lift conventional trace properties from a set of executi...

0 Borzoo Bonakdarpour, et al. ∙