An axiom system for sequence-based specification.

Lan Lin Stacy J. Prowell Jesse H. Poore

Published in: Theor. Comput. Sci. (2010)

Keyphrases

databases
formal specification
learning algorithm
multi agent
evolutionary algorithm
modal logic
formal methods
formal verification
reactive systems