Verification of Concurrent Programs Using Trace Abstraction Refinement

DOI10.1007/978-3-662-48899-7_17zbMath1471.68134OpenAlexW2272690707MaRDI QIDQ3460058

Frowin Ziegler, Franck Cassez

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48899-7_17

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Verification of concurrent programs using Petri net unfoldings ⋮ Approximate partial order reduction ⋮ Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction*

This page was built for publication: Verification of Concurrent Programs Using Trace Abstraction Refinement