88 search results - page 1 / 18 » Structural Analysis of Boolean Equation Systems |
CORR
2010
Springer
13 years 2 months ago
2010
Springer
CORR
2006
Springer
13 years 5 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
FMICS
2008
Springer
13 years 6 months ago
2008
Springer
TNN
2010
13 years 1 days ago
2010
This paper provides a comprehensive framework for the state space approach to Boolean networks. First, it surveys the authors' recent work on the topic: Using semitensor produ...
ASAP
1996
IEEE
13 years 9 months ago
1996
IEEE
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...