Loading...
Please wait, while we are loading the content...
Similar Documents
Invited talk declarative programming for verification lessons and outlook.
| Content Provider | CiteSeerX |
|---|---|
| Author | Leuschel, Michael |
| Abstract | This paper summarises roughly ten years of experience using declarative programming for developing tools to validate formal specifications. More precisely, we present insights gained and lessons learned while implementing animators and model checkers in Prolog for various specification languages, ranging from process algebras such as CSP to model-based specifications such as Z and B. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Verification Lesson Talk Declarative Programming Ten Year Model Checker Formal Specification Declarative Programming Process Algebra Model-based Specification Various Specification Language |
| Content Type | Text |
| Resource Type | Article |