1463 search results - page 115 / 293 » Model Checking Implicit-Invocation Systems |
178
click to vote
CSCLP
2008
Springer
15 years 3 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
129
click to vote
SBMF
2009
Springer
15 years 8 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...
111
click to vote
QSIC
2005
IEEE
15 years 7 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...
131
click to vote
SCP
2010
15 years 1 days 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...
ECOOP
2004
Springer
15 years 7 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...