Login / Signup
Formal verification and validation for e-commerce: theory and best practices.
Robert L. Probert
Yanping Chen
Behrad Ghazizadeh
D. Paul Sims
Maurus Cappa
Published in:
Inf. Softw. Technol. (2003)
Keyphrases
</>
formal verification
model checking
electronic commerce
automated verification
model checker
symbolic model checking
bounded model checking
computational model
theoretical framework
case study
software engineering
temporal logic
business models
reverse engineering
formal methods