Validation of Concurrent ADA Programs using Symbolic Execution

Authors:
Sandro Morasca;Mauro Pezzè
Affiliations:
-;-
Venue:
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
Year:
1989

Citing 0
Cited 4

A Unified High-Level Petri Net Formalism for Time-Critical Systems

IEEE Transactions on Software Engineering
Graph models for reachability analysis of concurrent programs

ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated Analysis of Reo Circuits using Symbolic Execution

Electronic Notes in Theoretical Computer Science (ENTCS)
Symbolic execution of Reo circuits using constraint automata

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract