Executable Specification Language for Parallel Symbolic Computation (Research Note).

Alexander B. Godlevsky Ladislav Hluchý

Published in: Euro-Par (2000)

Keyphrases

specification language
formal specification
description language
model checking
programming language
symbolic execution
parallel processing
formal methods
software environment
knowledge management
databases
shared memory
general purpose
software engineering
evolutionary algorithm
model checker
web services