Incremental Formal Design Verification

JOURNAL ARTICLE

Year: 2005 Journal: IEEE/ACM International Conference on Computer-Aided Design Vol: ? Pages: 458-465

DOI: 10.1109/iccad.1994.629843

Keywords:

Computer science Formal verification Formal methods Programming language Software engineering

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.43

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Manufacturing Process and Optimization

Physical Sciences → Engineering → Industrial and Manufacturing Engineering

Model-Driven Software Engineering Techniques

Physical Sciences → Computer Science → Software