Property Specification is a formal method within functional verification that defines precise behavioral or temporal correctness conditions of a system under test, distinguishing it from other verification artifacts by its role in expressing intended properties in a mathematically rigorous language amenable to automated checking.
155
Publications
8.2K
Citations
365
Authors
220
Institutions
Publications per year
2017–2026
22
Variants
Property Specifications
Parents
Publications
155
1–5 of 155
Authors
365
- GS
5
h-index
- LG
5
h-index
- AH
4
h-index
- ST
3
h-index
- OM
3
h-index
1–5 of 365
Institutions
220
Concordia University
Montreal, Canada
5 h-index
12 publications
417 citations
Centre National de la Recherche Scientifique
Paris, France
5 h-index
13 publications
453 citations
University of Massachusetts Amherst
Amherst Center, United States
5 h-index
11 publications
2.7K citations
Intel (United States)
Santa Clara, United States
4 h-index
10 publications
662 citations
Swinburne University of Technology
Melbourne, Australia
4 h-index
6 publications
476 citations
ETH Zurich
Zurich, Switzerland
4 h-index
16 publications
790 citations
Kansas State University
Manhattan, United States
3 h-index
3 publications
1.9K citations
Computer Research Institute of Montréal
Montreal, Canada
3 h-index
7 publications
89 citations
1–8 of 220
Venues
- Electronic Notes in Theoretical Computer Science
ENTCS · 8 publications · 195 citations
8
h-index
- IEEE Transactions on Software Engineering
TSE · 3 publications · 185 citations
3
h-index
- Software & Systems Modeling
SoSyM · 3 publications · 87 citations
3
h-index
- Transactions of the American Mathematical Society
TRAN · 3 publications · 284 citations
3
h-index
- Dynamical Systems
3 publications · 120 citations
3
h-index
1–5