Using LP to Debug Specifications.

Stephen J. Garland John V. Guttag

Published in: Programming Concepts and Methods (1990)

Keyphrases

linear programming
linear program
optimal solution
delay insensitive
specification language
operational semantics
data sets
search engine
information systems
high level
database systems
objective function
np hard
simplex method
reactive systems
asset liability management