Formal verification (English Wikipedia)

DeMarco, Favio; Xuan, Jifeng; Le Berre, Daniel; Monperrus, Martin (2014). "Automatic repair of buggy if conditions and missing preconditions with SMT". Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. pp. 30–39. arXiv:1404.3186. doi:10.1145/2593735.2593740. ISBN 978-1-4503-2847-0. Retrieved June 8, 2026.

portal.acm.org

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

adsabs.harvard.edu (Global: 14^th place; English: 9^th place)

ui.adsabs.harvard.edu

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. Bibcode:2012ITSEn..38...54L. doi:10.1109/TSE.2011.104. S2CID 4111307.

arxiv.org (Global: 49^th place; English: 31^st place)

DeMarco, Favio; Xuan, Jifeng; Le Berre, Daniel; Monperrus, Martin (2014). "Automatic repair of buggy if conditions and missing preconditions with SMT". Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. pp. 30–39. arXiv:1404.3186. doi:10.1145/2593735.2593740. ISBN 978-1-4503-2847-0. Retrieved June 8, 2026.
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 (Global: 621^st place; English: 429^th place)

embedded.eecs.berkeley.edu

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

bloomberg.com (Global: 118^th place; English: 85^th place)

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

cam.ac.uk (Global: 569^th place; English: 354^th place)

cl.cam.ac.uk

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

commoncriteriaportal.org (Global: low place; English: low place)

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

compcert.org (Global: low place; English: low place)

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

computerweekly.com (Global: 9,143^rd place; English: 5,845^th place)

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

doi.org (Global: 2^nd place; English: 2^nd place)

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. Bibcode:2012ITSEn..38...54L. doi:10.1109/TSE.2011.104. S2CID 4111307.
DeMarco, Favio; Xuan, Jifeng; Le Berre, Daniel; Monperrus, Martin (2014). "Automatic repair of buggy if conditions and missing preconditions with SMT". Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. pp. 30–39. arXiv:1404.3186. doi:10.1145/2593735.2593740. ISBN 978-1-4503-2847-0. Retrieved June 8, 2026.
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 (Global: low place; English: low place)

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

ganssle.com (Global: low place; English: low place)

"Getting it Right" by Jack Ganssle

gartner.com (Global: 7,063^rd place; English: 5,996^th place)

blogs.gartner.com

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

ibtimes.co.uk (Global: 2,363^rd place; English: 1,707^th place)

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

idgesg.net (Global: low place; English: low place)

images.idgesg.net

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

insightssuccess.com (Global: low place; English: low place)

"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 (Global: 5,743^rd place; English: 3,776^th place)

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 (Global: 121^st place; English: 59^th place)

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. Bibcode:2012ITSEn..38...54L. doi:10.1109/TSE.2011.104. S2CID 4111307.

sel4.systems (Global: low place; English: low place)

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

semanticscholar.org (Global: 15^th place; English: 8^th place)

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. Bibcode:2012ITSEn..38...54L. 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 (Global: low place; English: low place)

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 (Global: 1^st place; English: 1^st place)

"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 (Global: 4^th place; English: 4^th place)

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 (Global: 1,235^th place; English: 855^th place)

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

Formal verification (English Wikipedia)

acm.org (Global: 1,200th place; English: 821st place)

dl.acm.org

portal.acm.org

adsabs.harvard.edu (Global: 14th place; English: 9th place)

ui.adsabs.harvard.edu

arxiv.org (Global: 49th place; English: 31st place)

berkeley.edu (Global: 621st place; English: 429th place)

embedded.eecs.berkeley.edu

bloomberg.com (Global: 118th place; English: 85th place)

cam.ac.uk (Global: 569th place; English: 354th place)

cl.cam.ac.uk

commoncriteriaportal.org (Global: low place; English: low place)

compcert.org (Global: low place; English: low place)

computerweekly.com (Global: 9,143rd place; English: 5,845th place)

doi.org (Global: 2nd place; English: 2nd place)

formalverificationbook.com (Global: low place; English: low place)

ganssle.com (Global: low place; English: low place)

gartner.com (Global: 7,063rd place; English: 5,996th place)

blogs.gartner.com

ibtimes.co.uk (Global: 2,363rd place; English: 1,707th place)

idgesg.net (Global: low place; English: low place)

images.idgesg.net

insightssuccess.com (Global: low place; English: low place)

networkworld.com (Global: 5,743rd place; English: 3,776th place)

proquest.com (Global: 121st place; English: 59th place)

sel4.systems (Global: low place; English: low place)

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

uni-saarland.de (Global: low place; English: low place)

www-wjp.cs.uni-saarland.de

web.archive.org (Global: 1st place; English: 1st place)

worldcat.org (Global: 4th place; English: 4th place)

search.worldcat.org

zdnet.com (Global: 1,235th place; English: 855th place)

acm.org (Global: 1,200^th place; English: 821^st place)

adsabs.harvard.edu (Global: 14^th place; English: 9^th place)

arxiv.org (Global: 49^th place; English: 31^st place)

berkeley.edu (Global: 621^st place; English: 429^th place)

bloomberg.com (Global: 118^th place; English: 85^th place)

cam.ac.uk (Global: 569^th place; English: 354^th place)

computerweekly.com (Global: 9,143^rd place; English: 5,845^th place)

doi.org (Global: 2^nd place; English: 2^nd place)

gartner.com (Global: 7,063^rd place; English: 5,996^th place)

ibtimes.co.uk (Global: 2,363^rd place; English: 1,707^th place)

networkworld.com (Global: 5,743^rd place; English: 3,776^th place)

proquest.com (Global: 121^st place; English: 59^th place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

web.archive.org (Global: 1^st place; English: 1^st place)

worldcat.org (Global: 4^th place; English: 4^th place)

zdnet.com (Global: 1,235^th place; English: 855^th place)