1472 search results - page 114 / 295 » On Model Checking Infinite-State Systems |
147
click to vote
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
129
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
148
Voted
SCP
2010
15 years 2 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
122
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
144
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...