CIVL: the concurrency intermediate verification language - Siegel, Stephen F.; Zheng, Manchun; Luo, Ziqing; Zirkel, Timothy K.; Marianiello, Andre V.; Edenhofner, John G.; Dwyer, Matthew B.; Rogers, Michael S. (Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, 2015)
Keywords: Computing methodologies -- Symbolic and algebraic manipulation; Concurrent computing; Government; Graphics processing units; Hardware -- Hardware validation -- Functional verification -- Assertion checking; Libraries; Message systems; Model checking; Software and its engineering -- Software creation and management -- Software verification and validation; Software and its engineering -- Software creation and management -- Software verification and validation -- Formal software verification; Software and its engineering -- Software notations and tools -- General programming languages -- Language types -- Concurrent programming languages; Software and its engineering -- Software notations and tools -- General programming languages -- Language types -- Distributed programming languages; Software and its engineering -- Software notations and tools -- General programming languages -- Language types -- Parallel programming languages; Software and its engineering -- Software organization and properties -- Software functional properties -- Formal methods; Software and its engineering -- Software organization and properties -- Software functional properties -- Formal methods -- Model checking; Theory of computation -- Logic -- Verification by model checking; Theory of computation -- Models of computation -- Abstract machines; Theory of computation -- Semantics and reasoning -- Program reasoning -- Abstraction; Theory of computation -- Semantics and reasoning -- Program reasoning -- Assertions; CUDA; intermediate representation; model checking; OpenMP; MPI; symbolic execution; program transformation; pthreads; parallel programming; verification; concurrency