Loading...
Please wait, while we are loading the content...
Similar Documents
Bogor : An Extensible Framework for Domain-Specific Model Checking
| Content Provider | Semantic Scholar |
|---|---|
| Author | Becker, Simon M. Lohmann, Sebastian Westfechtel, Bernhard |
| Copyright Year | 2004 |
| Abstract | Model checking has proven to be an effective technology for v erification and debugging in hardware and more recently in software domains. We be liev that recent trends in both the requirements for software systems and the processes by w hich systems are developed suggest that domain-specific model checking engines may be more effe ctive than general purpose model checking tools. To overcome limitations of existing tools w hich tend to be monolithic and nonextensible, we have developed an extensible and customizab le model checking framework called Bogor. In this article, we summarize how Bogor provides dire ct support for modeling objectoriented designs and implementations, and how its modeling la uage and algorithms can be extended and customized to create domain-specific model che cking engines. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://projects.cis.ksu.edu/docman/view.php/8/101/SAnToS-TR2004-9.pdf |
| Alternate Webpage(s) | http://www.easst.org/newsletter/NLdec04.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
