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

Advances in Software Engineering

doi 10.1155/2011/869182

Full Text

Abstract

Available in

Date

January 1, 2011

Authors

Salamah Salamah

Matthew Engskow

Publisher

Hindawi Limited

Related search

Model Checking Large Software Specifications

ACM SIGSOFT Software Engineering Notes

English

Checking Strong Specifications Using an Extensible Software Model Checking Framework

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Formal Specifications of Software Model Evolution Using Contracts

English

Formal Consistency Checking Over Specifications in Natural Languages

English

Model Checking RAISE Applicative Specifications

French

CSCW for Preparing Formal Software Specifications: Issues and Implementation

Journal of Computer Science

Computer Networks

Artificial Intelligence

English

Model Checking Software

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Model Checking Value-Passing Modal Specifications

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Test Selection for Object-Oriented Software Based on Formal Specifications

English