Applying Software Model Checking Techniques for Behavioral UML Models

DOI10.1007/978-3-642-32759-9_25zbMath1372.68171OpenAlexW168286271MaRDI QIDQ4647850

Karen Yorav, Yael Meller, Orna Grumberg

Publication date: 8 November 2012

Published in: FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32759-9_25

Mathematics Subject Classification ID

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

Uses Software

• VIATRA2
• RuleBasePE
• Rhapsody
• CBMC

This page was built for publication: Applying Software Model Checking Techniques for Behavioral UML Models