Abstract | ||
---|---|---|
The adoption of model-based development tools is changing the cost-benefit equation for the industrial use of formal methods. The integration of formal methods such as model checking into software development environments makes it possible to fight increasing cost and complexity with automation and rigour. |
Year | Venue | Keywords |
---|---|---|
2008 | ERCIM NEWS | model checking |
Field | DocType | Volume |
Avionics software,Model checking,Life-critical system,Computer science,Computer security,Avionics,Software reliability testing,Software construction,Software verification and validation,DO-178B,Reliability engineering,Embedded system | Journal | 2008 |
Issue | ISSN | Citations |
75 | 0926-4981 | 1 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Darren D. Cofer | 1 | 214 | 20.08 |
Michael W. Whalen | 2 | 1096 | 70.54 |
Steven P. Miller | 3 | 561 | 56.48 |