| 
|
Quote: Metal is a state machine language for analyzing programs; like yacc
topics >
all references >
references e-f >
Topic:
state machine
Topic:
model checker
Quotation Skeleton
We write our analyses in metal … , a high-level state machine (SM) language for … [OSDI 2000]. … Metal can be viewed as syntactically similar to … [programming language] patterns to search for interesting source code features, which cause … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: state machine (67 items)
Topic: model checker (49 items)