Patterns in property specifications for finite-state verification

Model checkers and other finite-state verification tools allow developers to detect certain kinds of errors automatically. Nevertheless, the transition of this technology from research to practice has been slow. While there are a number of potential causes for reluctance to adopt such formal methods...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings / International Conference on Software Engineering pp. 411 - 420
Main Authors: Dwyer, Matthew B., Avrunin, George S., Corbett, James C.
Format: Conference Proceeding Journal Article
Language:English
Published: New York, NY, USA ACM 1999
IEEE
Series:ACM Conferences
Subjects:
Automation
Computer errors
Computer science
Formal specifications
Logic
Mathematics
NASA
Permission
Software and its engineering > Software creation and management > Designing software
Software and its engineering > Software creation and management > Designing software > Requirements analysis
Software and its engineering > Software notations and tools > General programming languages > Language features > Patterns
Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Model checking
Software and its engineering > Software organization and properties > Software system structures > Distributed systems organizing principles > Client-server architectures
Software and its engineering > Software organization and properties > Software system structures > Software architectures
Statistics
System testing
Theory of computation > Formal languages and automata theory
Theory of computation > Logic > Verification by model checking
finite-state verification
formal specification
concurrent systems
patterns
ISBN:1581130740, 9781581130744
ISSN:0270-5257
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first