Loop Invariant Symbolic Execution for Parallel Programs

DOI10.1007/978-3-642-27940-9_27zbMath1326.68106OpenAlexW2222734577MaRDI QIDQ2891433

Stephen F. Siegel, Timothy K. Zirkel

Publication date: 15 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-27940-9_27

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• TASS_
• KLEE
• VCC
• Java PathFinder
• Corral

Cites Work

• Unnamed Item
• Unnamed Item
• Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14--20, 2011. Proceedings
• TASS: the toolkit for accurate scientific software
• Collective Assertions
• Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
• Symbolic execution and program testing
• Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Loop Invariant Symbolic Execution for Parallel Programs