Modeling and model checking by modular approach
Abstract
References
Index Terms
- Modeling and model checking by modular approach
Recommendations
Modular Model Checking
COMPOS'97: Revised Lectures from the International Symposium on Compositionality: The Significant DifferenceIn modular verification the specification of a module consists of two parts. One part describes the guaranteed behavior of the module. The other part describes the assumed behavior of the system in which the module is interacting. This is called the ...
Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement
Divide-and-conquer is essential to address state explosion in model checking. Verifying each individual component in a system, in isolation, efficiently requires an appropriate context, which traditionally is obtained by hand. This paper presents an ...
Bounded model checking of high-integrity software
HILT '13: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technologyModel checking [5] is an automated algorithmic technique for exhaustive verification of systems, described as finite state machines, against temporal logic [9] specifications. It has been used successfully to verify hardware at an industrial scale [6]. ...
Comments
Information & Contributors
Information
Published In
- General Chair:
- Pankaj Jalote,
- Program Chairs:
- Lionel Briand,
- André van der Hoek
Sponsors
In-Cooperation
- TCSE: IEEE Computer Society's Tech. Council on Software Engin.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Article
Conference
Acceptance Rates
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 131Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in