150 search results - page 19 / 30 » Checking Correctness of Transactional Behaviors |
118
click to vote
FDL
2006
IEEE
15 years 5 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...
121
click to vote
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
DBSEC
2010
15 years 1 months ago
2010
Abstract. Access control mechanisms are used to control which principals (such as users or processes) have access to which resources based on access control policies. To ensure the...
101
click to vote
RTSS
2008
IEEE
15 years 6 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...