Login / Signup
Behavioral synthesis of property specification language (PSL) assertions.
Harald Obereder
Markus Pfaff
Published in:
IEEE International Workshop on Rapid System Prototyping (2007)
Keyphrases
</>
specification language
programming language
description language
formal specification
knowledge base
software environment
symbolic execution
distributed systems
requirements specification
fine grained
dynamic environments
database
general purpose
object oriented
high level
web services
real world