Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements

Clicks: 63
ID: 117421
2021
Article Quality & Performance Metrics
Overall Quality Improving Quality
0.0 /100
Combines engagement data with AI-assessed academic quality
AI Quality Assessment
Not analyzed
Abstract
Abstract is not available for this article.
Login to Search Abstract
Reference Key
carvalho2021validatingscience Use this key to autocite in the manuscript while using SciMatic Manuscript Manager or Thesis Manager
Authors Carvalho, G.
Journal science of computer programming
Year 2021
DOI
10.1016/j.scico.2020.102537
URL
Keywords Keywords not found

Citations

No citations found. To add a citation, contact the admin at info@scimatic.org

Comments

No comments yet. Be the first to comment on this article.