Novel Use of Symbolic Map Based Constraints for Synchronization Block Verification Using Formal Methods

Author(s):
Vikas Vikram Singh, Sanjana Jain, Patnala Naga Sai, Ipshita Tripathi
Location:
India
Year:
2025
Type:
Poster
Format:
pdf