245 search results - page 22 / 49 » Efficient Symbolic Model Checking for Process Algebras |
JLP
2006
14 years 9 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
ZEUS
2010
14 years 11 months ago
2010
Control-flow analysis of business process models requires to check the absence of lack of synchronization. We use workflow graphs, which may contain inclusive OR gateways, to repre...
IV
1999
IEEE
15 years 1 months ago
1999
IEEE
Models for visualization are important, helping the developer and user to understand the visualization process; to follow the connections and the data paths through the system; an...
90
Voted
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
62
Voted
ARTS
1997
Springer
15 years 1 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...