Formal verification (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Formal verification" in English language version.

refsWebsite

Global rank English rank

4doi.org

2^nd place

3semanticscholar.org

11^th place

8^th place

3web.archive.org

1^st place

1commoncriteriaportal.org

low place

1berkeley.edu

580^th place

462^nd place

1proquest.com

206^th place

124^th place

1acm.org

1,185^th place

840^th place

1formalverificationbook.com

low place

1cam.ac.uk

670^th place

480^th place

1sel4.systems

low place

1uni-saarland.de

low place

1ganssle.com

low place

1zdnet.com

786^th place

558^th place

1ibtimes.co.uk

1,746^th place

1,165^th place

1computerweekly.com

8,313^th place

5,298^th place

1gartner.com

4,365^th place

3,369^th place

1networkworld.com

4,121^st place

2,662^nd place

1insightssuccess.com

low place

1idgesg.net

low place

1bloomberg.com

99^th place

77^th place

1compcert.org

low place

1arxiv.org

69^th place

59^th place

1worldcat.org

5^th place

acm.org

portal.acm.org

Formal verification of a real-time hardware design. Portal.acm.org (June 27, 1983). Retrieved on April 30, 2011.

arxiv.org

Barrière, Aurèle; Blazy, Sandrine; Pichardie, David (January 9, 2023). "Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler". Proceedings of the ACM on Programming Languages. 7 (POPL): 249–277. arXiv:2212.03129. doi:10.1145/3571202. ISSN 2475-1421. S2CID 253736486.

berkeley.edu

embedded.eecs.berkeley.edu

Introduction to Formal Verification, Berkeley University of California, Retrieved November 6, 2013

bloomberg.com

"Veriflow Systems". Bloomberg. Retrieved February 12, 2018.

cam.ac.uk

cl.cam.ac.uk

"Formal Verification in Industry" (PDF). Retrieved September 20, 2012.

commoncriteriaportal.org

"Common Criteria for Information Technology Security Evaluation Part 5: Pre-defined packages of security requirements" (PDF). Retrieved April 15, 2025.

compcert.org

"CompCert - The CompCert C compiler". compcert.org. Retrieved February 22, 2023.

computerweekly.com

Scroxton, Alex. "For Cisco, intent-based networking heralds future tech demands". Computer Weekly. Retrieved February 12, 2018.

doi.org

Sanjit A. Seshia; Natasha Sharygina; Stavros Tripakis (2018). "Chapter 3: Modeling for Verification". In Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; Bloem, Roderick (eds.). Handbook of Model Checking. Springer. pp. 75–105. doi:10.1007/978-3-319-10575-8. ISBN 978-3-319-10574-1.
Le Goues, Claire; Nguyen, ThanhVu; Forrest, Stephanie; Weimer, Westley (January 2012). "GenProg: A Generic Method for Automatic Software Repair". IEEE Transactions on Software Engineering. 38 (1): 54–72. doi:10.1109/TSE.2011.104. S2CID 4111307.
Harrison, J. (2003). "Formal verification at Intel". 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. pp. 45–54. doi:10.1109/LICS.2003.1210044. ISBN 978-0-7695-1884-8. S2CID 44585546.
Barrière, Aurèle; Blazy, Sandrine; Pichardie, David (January 9, 2023). "Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler". Proceedings of the ACM on Programming Languages. 7 (POPL): 249–277. arXiv:2212.03129. doi:10.1145/3571202. ISSN 2475-1421. S2CID 253736486.

formalverificationbook.com

"Formal Verification: An Essential Tool for Modern VLSI Design by Erik Seligman, Tom Schubert, and M V Achutha Kirankumar". 2015.

ganssle.com

"Getting it Right" by Jack Ganssle

gartner.com

blogs.gartner.com

Lerner, Andrew. "Intent-based networking". Gartner. Retrieved February 12, 2018.

ibtimes.co.uk

"CertiKOS: Yale develops world's first hacker-resistant operating system". International Business Times UK. November 15, 2016. Retrieved June 10, 2019.

idgesg.net

images.idgesg.net

"Getting Grounded in Intent=based Networking" (PDF). NetworkWorld. Retrieved February 12, 2018.

insightssuccess.com

"Forward Networks: Accelerating and De-risking Network Operations". Insightssuccess Media and Technology Pvt. Ltd. Insights Success. January 16, 2018. Retrieved February 12, 2018.

networkworld.com

Kerravala, Zeus. "Cisco brings intent based networks to the data center". NetworkWorld. Archived from the original on December 11, 2023. Retrieved February 12, 2018.

proquest.com

Le Goues, Claire; Nguyen, ThanhVu; Forrest, Stephanie; Weimer, Westley (January 2012). "GenProg: A Generic Method for Automatic Software Repair". IEEE Transactions on Software Engineering. 38 (1): 54–72. doi:10.1109/TSE.2011.104. S2CID 4111307.

sel4.systems

"Abstract Formal Specification of the seL4/ARMv6 API" (PDF). Archived from the original (PDF) on May 21, 2015. Retrieved May 19, 2015.

semanticscholar.org

api.semanticscholar.org

Le Goues, Claire; Nguyen, ThanhVu; Forrest, Stephanie; Weimer, Westley (January 2012). "GenProg: A Generic Method for Automatic Software Repair". IEEE Transactions on Software Engineering. 38 (1): 54–72. doi:10.1109/TSE.2011.104. S2CID 4111307.
Harrison, J. (2003). "Formal verification at Intel". 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. pp. 45–54. doi:10.1109/LICS.2003.1210044. ISBN 978-0-7695-1884-8. S2CID 44585546.
Barrière, Aurèle; Blazy, Sandrine; Pichardie, David (January 9, 2023). "Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler". Proceedings of the ACM on Programming Languages. 7 (POPL): 249–277. arXiv:2212.03129. doi:10.1145/3571202. ISSN 2475-1421. S2CID 253736486.

uni-saarland.de

www-wjp.cs.uni-saarland.de

Christoph Baumann, Bernhard Beckert, Holger Blasum, and Thorsten Bormer Ingredients of Operating System Correctness? Lessons Learned in the Formal Verification of PikeOS Archived July 19, 2011, at the Wayback Machine

web.archive.org

"Abstract Formal Specification of the seL4/ARMv6 API" (PDF). Archived from the original (PDF) on May 21, 2015. Retrieved May 19, 2015.
Christoph Baumann, Bernhard Beckert, Holger Blasum, and Thorsten Bormer Ingredients of Operating System Correctness? Lessons Learned in the Formal Verification of PikeOS Archived July 19, 2011, at the Wayback Machine
Kerravala, Zeus. "Cisco brings intent based networks to the data center". NetworkWorld. Archived from the original on December 11, 2023. Retrieved February 12, 2018.

worldcat.org

search.worldcat.org

Barrière, Aurèle; Blazy, Sandrine; Pichardie, David (January 9, 2023). "Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler". Proceedings of the ACM on Programming Languages. 7 (POPL): 249–277. arXiv:2212.03129. doi:10.1145/3571202. ISSN 2475-1421. S2CID 253736486.

zdnet.com

Harris, Robin. "Unhackable OS? CertiKOS enables creation of secure system kernels". ZDNet. Retrieved June 10, 2019.