Democratizing Formal Verification

Author(s):
Tobias Ludwig, Michael Schwarz, Paulius Morkunas, Silvio Santana, Dominik Stoffel, Wolfgang Kunz
Location:
Europe
Year:
2021
Type:
Paper
Format:
pdf