Open AccessRelational Differential Dynamic Logic
Author(s) -
Juraj Kolčák,
Jérémy Dubut,
Ichiro Hasuo,
Shin-ya Katsumata,
David Sprunger,
Akihiro Yamada
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , differential (mechanical device) , dynamic logic (digital electronics) , theoretical computer science , electrical engineering , physics , engineering , transistor , voltage , thermodynamics