460 search results - page 39 / 92 » Translating Software Designs for Model Checking |
SIGPLAN
2002
14 years 9 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
81
Voted
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
87
Voted
ENTCS
2008
14 years 9 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
SC
2009
ACM
15 years 2 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...