Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers
![Thumbnail](/bitstream/handle/20.500.11850/522117/IdentifyingOverlyRestrictivePatternsFM.pdf.jpg?sequence=5&isAllowed=y)
Open access
Date
2021Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-b-000522117Publication status
publishedExternal links
Book title
Formal MethodsJournal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
Organisational unit
03653 - Müller, Peter / Müller, Peter
Related publications and datasets
Is cited by: https://doi.org/10.3929/ethz-b-000548050
Is referenced by: https://doi.org/10.3929/ethz-b-000542001
More
Show all metadata
ETH Bibliography
yes
Altmetrics