Specification engineering and modular verification using a web-integrated verifying compiler.
Charles T. CookHeather K. HartonHampton SmithMurali SitaramanPublished in: ICSE (2012)
Keyphrases
- formal verification
- model checking
- website
- asynchronous circuits
- highly modular
- verification method
- formal methods
- web applications
- artificial intelligence
- computer science
- web documents
- web content
- web resources
- information sources
- web mining
- engineering design
- web data
- general purpose
- link analysis
- software engineering
- end users
- high level
- formal specification
- web scale
- code generation
- digital libraries
- web pages