Formal Techniques for Networked and Distributed Systems - FORTE 2005

DOI10.1007/11562436zbMath1169.68505OpenAlexW2915402656MaRDI QIDQ5479169

Rachida Dssouli, Jameleddine Hassine, Juergen Rilling

Publication date: 7 July 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11562436

zbMATH Keywords

simulationformal semanticsabstract state machinesAsmLUse Case Mapsuser requirements notation

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)

Related Items (2)

Generating symbolic traces in the insertion modeling system ⋮ Verifying UCM specifications of distributed systems using colored Petri nets

Uses Software

• AsmL

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2005