Threaded behavior protocols

DOI10.1007/s00165-011-0194-3zbMath1298.68066MaRDI QIDQ470016

Tomáš Poch, Ondřej Šerý, František Plášil, Jan Kofroň

Publication date: 11 November 2014

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0194-3

zbMATH Keywords

verification; composition; model checking; refinement; behavior modeling; component systems

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

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

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Java PathFinder