Using symbolic execution for verification of Ada tasking programs
Data up to Jan 2025
Total Citations Per Year
Abstract
References (21)
Communicating Sequential Processes
1985 • 9,147 citations
Communicating sequential processes
1985 • 1,829 citations
Verifying properties of parallel programs
1976 • 536 citations
A Proof System for Communicating Sequential Processes
1980 • 328 citations
An Overview of Anna, a Specification Language for Ada
1985 • 223 citations
The ?Hoare logic? of concurrent programs
1980 • 189 citations
An Introduction to Proving the Correctness of Programs
1976 • 156 citations
The ``Hoare Logic'' of CSP, and All That
1984 • 119 citations
Combining static concurrency analysis with symbolic execution
1988 • 92 citations
Principles of proving concurrent programs in Gypsy
1979 • 66 citations
Verification of protocols using symbolic execution
1978 • 61 citations
A model and temporal proof system for networks of processes
1986 • 59 citations
Unisex: A unix‐based symbolic executor for pascal
1985 • 58 citations
Task sequencing language for specifying distributed Ada systems TSL-1
1987 • 48 citations
A proof system for concurrent ADA programs
1984 • 36 citations
Verifying general safety properties of Ada tasking programs
1990 • 23 citations
Axioms and proof rules for Ada tasks
1982 • 19 citations
Task Sequencing Languages for Specifying Distributed Ada Systems
1986 • 18 citations
An experience with two symbolic execution-based approaches to formal verification of Ada tasking programs
2003 • 17 citations
An interleaving symbolic execution approach for the formal verification of Ada programs with tasking
2003 • 14 citations
An isolation approach to symbolic execution-based verification of Ada tasking programs
1991 • 3 citations