Get started
Keyword

software verification

Description: The process of assessing whether software satisfies specified requirements and properties, using formal methods, testing, or other analytical techniques.
Wikidata ID: wiki/Q6504747
OpenAlex ID: keywords/software-verification
Z3: An Efficient SMT Solver
2008 · Leonardo de Moura, Nikolaj Bjørner · Lecture notes in computer science · 6,556
The design and verification of MuMax3
2014 · Arne Vansteenkiste, Jonathan Leliaert, et al. · AIP Advances · 3,769
PDF
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 · Cristian Cadar, Daniel Dunbar, et al. · 2,776
Spin model checker, the: primer and reference manual
2003 · Gerard J. Holzmann · 2,020
Patterns in property specifications for finite-state verification
1999 · Matthew B. Dwyer, George S. Avrunin, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 1,480
Lazy abstraction
2002 · Thomas A. Henzinger, Ranjit Jhala, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 1,167
FEBio: Finite Elements for Biomechanics
2012 · Steve A. Maas, Benjamin J. Ellis, et al. · Journal of Biomechanical Engineering · 1,109
Bandera
2000 · James C. Corbett, Matthew B. Dwyer, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 1,059
PDF
Radial distribution test feeders
2002 · W.H. Kersting · IEEE Power Engineering Society Winter Meeting · 1,054
Verification and Validation
2016 · Scott Jackson · Routledge eBooks · 804
Preliminary design of JML
2006 · Gary T. Leavens, Albert L. Baker, et al. · ACM SIGSOFT Software Engineering Notes · 790
Formal methods
2009 · Jim Woodcock, Peter Gorm Larsen, et al. · ACM Computing Surveys · 690
Dynamic partial-order reduction for model checking software
2005 · Cormac Flanagan, Patrice Godefroid · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 640
PDF
Computer-Aided Reasoning: An Approach
2011 · Matt Kaufmann, J. Strother Moore, et al. · Medical Entomology and Zoology · 605
A Decision Procedure for Bit-Vectors and Arrays
2007 · Vijay Ganesh, David L. Dill · Springer eBooks · 595
CPAchecker: A Tool for Configurable Software Verification
2011 · Dirk Beyer, M. Erkan Keremoglu · Lecture notes in computer science · 592
PDF
Systems and Software Verification: Model-Checking Techniques and Tools
2001 · Béatrice Bérard, Michel Bidoit, et al. · 488
Handbook of Satisfiability
2021 · Armin Biere, Marijn J. H. Heule, et al. · 486
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
2008 · Roberto Bagnara, Patricia M. Hill, et al. · Science of Computer Programming · 477
Software Verification with BLAST
2003 · Thomas A. Henzinger, Ranjit Jhala, et al. · Lecture notes in computer science · 429
Validation, Verification, and Testing of Computer Software
1982 · W. Richards Adrion, Martha A. Branstad, et al. · ACM Computing Surveys · 426
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
2019 · Mark Mossberg, Felipe Manzano, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 422
PDF
Safety critical systems
2002 · John C. Knight · Proceedings/Proceedings - International Conference on Software Engineering · 421
Automatic generation of software behavioral models
2008 · Davide Lorenzoli, Leonardo Mariani, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 416
Test-suite reduction and prioritization for modified condition/decision coverage
2003 · J.A. Jones, M.J. Harrold · IEEE Transactions on Software Engineering · 372
Works count: 9,249
Citation count: 82,240
Year
Topic
Type