QPC_2: A Constructive Calculus with Parameterized Specifications.

Yukihide Takayama

Published in: J. Symb. Comput. (1993)

Keyphrases

formal language
transition systems
formal specification
high level
control flow
computer algebra
concurrent systems
written in natural language
website
object oriented
model checking
reactive systems