The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

DOI10.1007/s10660-006-8676-8zbMath1104.68528OpenAlexW1998022729MaRDI QIDQ862581

N. E. Zubov

Publication date: 24 January 2007

Published in: Electronic Commerce Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10660-006-8676-8

zbMATH Keywords

model checkingsoftware verificationsoftware engineeringdesign methodologiesdesign patternsmodel checking patterns

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• NuSMV

Cites Work

• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Graph-Based Algorithms for Boolean Function Manipulation
• A Theory of Auctions and Competitive Bidding
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems