307 search results - page 39 / 62 » Towards Integrated Verification of Timed Transition Models |
CAISE
2000
Springer
14 years 24 days ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
NN
2007
Springer
13 years 8 months ago
2007
Springer
In the antisaccade paradigm subjects are instructed to perform eye movements in the opposite direction from the location of a visually appearing stimulus while they are fixating ...