Formal Methods in Software and Systems Modeling

DOI10.1007/b106390zbMath1075.68621OpenAlexW2492988005MaRDI QIDQ5710421

Fernando Luís Dotti, Leila Ribeiro, Roswitha Bardohl

Publication date: 2 December 2005

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

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

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) Grammars and rewriting systems (68Q42)

Related Items (2)

Correct transformation: from object-based graph grammars to PROMELA ⋮ Formal Verification of Graph Grammars using Mathematical Induction

Uses Software

• MWB

This page was built for publication: Formal Methods in Software and Systems Modeling