C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Pattern for Formal Verification of Properties of Large Systems.
Wolfgang Herzner
Georg Weissenbacher
Published in:
EuroPLoP (2005)
Keyphrases
</>
formal verification
automated verification
complex systems
model checking
intelligent systems
computer systems
information retrieval
expert systems
pattern languages