1818 search results - page 58 / 364 » Granularity-Adaptive Proof Presentation |
HYBRID
2009
Springer
14 years 21 days ago
2009
Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
ACSW
2003
13 years 10 months ago
2003
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...
CADE
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
IJFCS
2008
13 years 8 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
JMIV
2008
13 years 8 months ago
2008
We present new sampling theorems for surfaces and higher dimensional manifolds. The core of the proofs resides in triangulation results for manifolds with boundary, not necessarily...