Tool Support for Model Checking of Web Application Designs

doi 10.1007/978-3-540-73597-7_50
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

An Eclipse-Based Tool for Model Driven Web Applications With Personalization Support

Revista de Informatica Teorica e Aplicada
Computer Science
2010English

MetaGame: An Animation Tool for Model-Checking Games

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Validation of Object-Oriented Concurrent Designs by Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Temporal Logic Query Checking: A Tool for Model Exploration

IEEE Transactions on Software Engineering
Software
2003English

Web Application for All-Round Competitions Support

Vojnotehnicki glasnik
2003English

A Bounded Model Checking Approach for the Verification of Web Services Composition

International Journal of Web Services Research
Computer NetworksSoftwareInformation SystemsCommunications
2013English

Heuristics for Hierarchical Partitioning With Application to Model Checking

BRICS Report Series
2000English

An Epistemic Model Checking Approach to Web Service Compositions

International Journal of Wireless and Microwave Technologies
2012English

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications

Advances in Software Engineering
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy