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
• Comparison
• Transformers
• MPITransformation
• OpenMPTransformation

Latest Release

Junit reports, download: ​https://vsl.cis.udel.edu/civl/test/trunk/latest/

Bug Report

If you have any problem when using CIVL, you can report it by creating a new ticket: https://vsl.cis.udel.edu/trac/civl/newticket

Other Links

• PaperReading