21 search results - page 3 / 5 » Model-Checking: A Tutorial Introduction |
ICCD
2005
IEEE
14 years 29 days ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Publication
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
FROCOS
2005
Springer
14 years 26 days ago
2005
Springer
GG
2004
Springer
14 years 22 days ago
2004
Springer
IFM
2004
Springer
14 years 21 days ago
2004
Springer