Who watches the watchman? FuSa Verification of DCLS Configuration through Formal and Static Checks

Author(s):
Avinash Kumar Pandey, Srobona Mitra, Sathish Kumar Manickam, Arunava Dutta, Deepak Baranwal
Location:
India
Year:
2024
Type:
Paper
Format:
pdf