CIVL: The Concurrency Intermediate Verification Language

The CIVL-C Language

Contents

• Arrays
• Pointers
• MessagePassing
• OmnibusChanges
• LanguageSubset
• Examples

Thoughts about the CIVL-C language

• It might be nice to introduce some convenience constructs that are syntactic sugar for commonly occurring patterns. For example, something like "$proc p = $run stmt" which is short for declaring a temporary procedure with body stmt and spawning that procedure. Also, something like "$waitall($proc procs[], int numProcs);" (that one can be defined as a library function).

Meetings

• CIVLmeeting2013

Tool Development

• IdeasForPerformance
• Coding Standards
• Coding Standards for CIVL models