A framework for specifying and verifying the behaviour of open systems

DOI10.1016/J.JLAP.2004.05.004MaRDI QIDQ1779319zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Andrea Bracciali, Antonio Brogi, Franco Turini

Publication date 1 June 2005

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2004.05.004

zbMATH Keywords

VerificationOpen systemsProcess algebras

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A comparative study of formal verification techniques for software architecture specifications
• A coordination-based methodology for security protocol verification
• Towards a calculus for dynamic architectures
• scientific article; zbMATH DE number 1903363
• Compatibility and inheritance in software architectures

Cites work

• scientific article; zbMATH DE number 2089415 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 977452 (Why is no real title available?)
• scientific article; zbMATH DE number 2087386 (Why is no real title available?)
• A calculus for cryptographic protocols: The spi calculus
• A calculus of mobile processes. I
• Bisimulation by unification
• Communicating sequential processes
• Comparing syntactic and semantic action refinement
• Foundations of component-based systems.
• Testing equivalences for processes

Cited in

(3)

• A comparative study of formal verification techniques for software architecture specifications
• scientific article; zbMATH DE number 1500565 (Why is no real title available?)
• Verification of Open Systems

Describes a project that uses

Uses Software

• KLAIM
• MANIFOLD
• Rapide

This page was built for publication: A framework for specifying and verifying the behaviour of open systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1779319)