Abstraction and composition: a verification method for co-operating systems

DOI10.1080/095281300454829zbMath1010.68091OpenAlexW2089271614MaRDI QIDQ4783359

J. Repp, Peter Ochsenschläger, Roland Rieke

Publication date: 4 December 2002

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/095281300454829

zbMATH Keywords

formal languagesco-operation products of formal languages

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Approximately satisfied properties of systems and simple language homomorphisms
• Defining liveness
• Appraising fairness in languages for distributed programming
• The sh-verification tool -- abstraction-based verification of co-operating systems

This page was built for publication: Abstraction and composition: a verification method for co-operating systems