687 search results - page 23 / 138 » Specification and Verification of Model Transformations Usin... |
120
Voted
FAC
2008
15 years 15 days ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
124
Voted
DAC
1996
ACM
15 years 4 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
103
Voted
ESTIMEDIA
2003
Springer
15 years 5 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
87
Voted
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
VLSID
2002
IEEE
16 years 25 days ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...