Symbolic execution of concurrent systems using Petri nets

DOI10.1016/0096-0551(89)90023-4zbMath0689.68008MaRDI 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 systems; Petri nets; testing; symbolic execution; software analysis

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68N25: Theory of operating systems

Related Items

Symbolic execution of Reo circuits using constraint automata