683 search results - page 74 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
139
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
156
click to vote
ADC
2008
Springer
15 years 11 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
132
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
154
click to vote
FUIN
2007
15 years 4 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
150
click to vote
CAV
2010
Springer
15 years 2 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...