130 search results - page 1 / 26 » Algorithmic Algebraic Model Checking I: Challenges from Syst... |
CAV
2005
Springer
13 years 10 months ago
2005
Springer
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
AB
2007
Springer
13 years 10 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
CSCLP
2008
Springer
13 years 6 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...
CSB
2005
IEEE
13 years 10 months ago
2005
IEEE
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...