64 search results - page 10 / 13 » Runtime Verification of Statechart Implementations |
124
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
141
click to vote
ICFP
2010
ACM
15 years 19 days ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
221
Voted
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
97
Voted
ASPLOS
2004
ACM
15 years 5 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
118
Voted
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...