Symbolic execution of concurrent systems using Petri nets

DOI10.1016/0096-0551(89)90023-4zbMath0689.68008OpenAlexW2083559580MaRDI QIDQ3031902

Carlo Ghezzi, Sandro Morasca, Dino Mandrioli, Mauro Pezzè

Publication date: 1989

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(89)90023-4

zbMATH Keywords

concurrent systemsPetri netstestingsymbolic executionsoftware analysis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items (1)

Symbolic execution of Reo circuits using constraint automata

This page was built for publication: Symbolic execution of concurrent systems using Petri nets