73 search results - page 5 / 15 » Unified Property Specification for Hardware Software Co-Veri... |
201
click to vote
ICLP
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
109
click to vote
ECBS
1999
IEEE
15 years 4 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
ECBS
2003
IEEE
15 years 5 months ago
2003
IEEE
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...
CEC
2010
IEEE
15 years 23 days ago
2010
IEEE
Embodying robot morphologies evolved in simulation can present serious problems for an engineer when translating simplified simulated mechanisms into working devices, often drawing...
119
click to vote
FDL
2007
IEEE
15 years 6 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...