[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines

Subjects

Methodology

Applications

ASM Studies

Constrained Shortest Path

Citation: Karl Stroetmann, "The Constrained Shortest Path Problem: A Case Study In Using ASMs", Journal of Universal Computer Science, vol. 3, no. 4 (1997), 304--319.
Summary: An abstract, nondeterministic form of the constrained shortest path problem is defined as an ASM and proven correct, then refined to the level of implementation.
Subjects: Abstract Algorithms, Verification
Download: PostScript, PDF, Compressed PostScript
Notes: Courtesy of Springer-Verlag.
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/shortpath.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT