BOBJ(ID:3682/bob002)

Extension to OBJ3

BOBJ extends OBJ3 with support for behavioral specification and verification; in particular, it implements circular coinductive rewriting over theories whose behavioral operations may have multiple hidden arguments, in addition to implementing ordinary rewriting and behavioral rewriting over order sorted equational logic, modulo attributes that can be any combination of associative, commutative and identity. BOBJ also supports the concurrent connection of behavioral theories.
Related languages
KUMO => BOBJ   Target language for
OBJ3 => BOBJ   Extension of

Resources