1818 search results - page 172 / 364 » Granularity-Adaptive Proof Presentation |
121
Voted
APLAS
2010
ACM
15 years 29 days ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
136
click to vote
IANDC
2010
15 years 26 days ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
111
click to vote
IJCGA
2010
15 years 24 days ago
2010
Symmetry equations are obtained for the rigidity matrix of a bar-joint framework in Rd . These form the basis for a short proof of the FowlerGuest symmetry group generalisation of...
234
Voted
AMAST
2010
Springer
14 years 10 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
164
click to vote
CPC
2011
14 years 10 months ago
2011
We study a problem on edge percolation on product graphs G× K2. Here G is any finite graph and K2 consists of two vertices {0, 1} connected by an edge. Every edge in G × K2 is p...