Geodesic

Volume 17 (2010) no. 4

Sommaire

From the editors of the special issue
p. 1-2
Automated correctness proof of algorithm variants in elliptic curve cryptography
p. 7-16
Test data generation based on a formal analysis of the project configuration
p. 17-26
Safe simulation testing of systems with refusals and destructions
p. 27-40
On complexity of verification of nondeterministic probabilistic multiagent systems
p. 41-50
Model checking of distributed systems with affine data structures
p. 52-59
On the calculus of positively constructed formulas for authomated theorem proving
p. 60-70
Integration of semantic verification into Java compilers
p. 70-77
The application of adaptive symmetry reduction for LTL model checking
p. 78-87
C program verification in the multilanguage system spectrum
p. 88-100
Verification and synthesis of addition programs under the rules of statement correctness
p. 101-110
F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers
p. 111-124
Distributed embedded control systems design with verification support
p. 125-136