Model Checking Programs
Ames Research Center · Research Institute for Advanced Computer Science
Indexed incrossref
Abstract
No abstract available for this paper.
Citation impact
1,353
total citations
- FWCI
- 97.19
- Percentile
- 100%
- References
- 91
Citations per year
Authors
5- WVWillem VisserCorresponding
Ames Research Center, Research Institute for Advanced Computer Science
- KHKlaus Havelund
Ames Research Center
- GBGuillaume Brat
Ames Research Center
- SPSeungjoon Park
Research Institute for Advanced Computer Science, Ames Research Center
- FLFlavio Lerda
Research Institute for Advanced Computer Science, Ames Research Center
Topics & keywords
Topics
Keywords
- Computer science
- Model checking
- Programming language
- Java
- Bytecode
- Program analysis
- Formal methods
- Formal verification
No related works found for this paper.