Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation

Search Page

Filters

My NCBI Filters

Results by year

Table representation of search results timeline featuring number of search results per year.

Year Number of Results
2013 1
2014 1
2015 1
2016 1
2017 5
2018 2
2019 3
2020 1
2021 3
2022 4
2024 0

Text availability

Article attribute

Article type

Publication date

Search Results

18 results

Results by year

Filters applied: . Clear all
Page 1
Shield synthesis.
Könighofer B, Alshiekh M, Bloem R, Humphrey L, Könighofer R, Topcu U, Wang C. Könighofer B, et al. Form Methods Syst Des. 2017;51(2):332-361. doi: 10.1007/s10703-017-0276-9. Epub 2017 Sep 25. Form Methods Syst Des. 2017. PMID: 32009740 Free PMC article.
The probabilistic termination tool amber.
Moosbrugger M, Bartocci E, Katoen JP, Kovács L. Moosbrugger M, et al. Form Methods Syst Des. 2022;61(1):90-109. doi: 10.1007/s10703-023-00424-z. Epub 2023 May 10. Form Methods Syst Des. 2022. PMID: 38046129 Free PMC article.
Monitoring hyperproperties.
Finkbeiner B, Hahn C, Stenger M, Tentrup L. Finkbeiner B, et al. Form Methods Syst Des. 2019;54(3):336-363. doi: 10.1007/s10703-019-00334-z. Epub 2019 Jun 25. Form Methods Syst Des. 2019. PMID: 31806925 Free PMC article.
Towards efficient verification of population protocols.
Blondin M, Esparza J, Jaax S, Meyer PJ. Blondin M, et al. Form Methods Syst Des. 2021;57(3):305-342. doi: 10.1007/s10703-021-00367-3. Epub 2021 Apr 14. Form Methods Syst Des. 2021. PMID: 34866798 Free PMC article.
Algorithmic games for full ground references.
Murawski AS, Tzevelekos N. Murawski AS, et al. Form Methods Syst Des. 2018;52(3):277-314. doi: 10.1007/s10703-017-0292-9. Epub 2017 Aug 9. Form Methods Syst Des. 2018. PMID: 31258247 Free PMC article.
Mining definitions in Kissat with Kittens.
Fleury M, Biere A. Fleury M, et al. Form Methods Syst Des. 2022;60(3):381-404. doi: 10.1007/s10703-023-00421-2. Epub 2023 Apr 24. Form Methods Syst Des. 2022. PMID: 37829794 Free PMC article.
Quantitative monitoring of STL with edit distance.
Jakšić S, Bartocci E, Grosu R, Nguyen T, Ničković D. Jakšić S, et al. Form Methods Syst Des. 2018;53(1):83-112. doi: 10.1007/s10703-018-0319-x. Epub 2018 Mar 27. Form Methods Syst Des. 2018. PMID: 30956399 Free PMC article.
18 results