Cited By
View all- Rubinson R(undefined)There is No Such Thing as Litigation: Access to Justice and the Realities of AdjudicationSSRN Electronic Journal10.2139/ssrn.2591393
Automated test support for Ada PDL
Pages 39 - 45
References
[1]
Ada and Software Management Assessment Working Group, Ada and Software Management in _NASA' Asse.~sment and Recommendation~s, March 1989.
[2]
Ada and Software Management Assessment Working Group, NASA - Evolving to Ada: Five-Year Plan, April 1989.
[3]
Wallace, D. R. and Fujii, R. U. Software Verification and Validation' An Overview IEEE Sof~, 1989, ~, 10 - 17.
Index Terms
- Automated test support for Ada PDL
Recommendations
Completeness and decidability of converse PDL in the constructive type theory of Coq
CPP 2018: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and ProofsThe completeness proofs for Propositional Dynamic Logic (PDL) in the literature are non-constructive and usually presented in an informal manner. We obtain a formal and constructive completeness proof for Converse PDL by recasting a completeness proof ...
Bisimilar and Logically Equivalent Programs in PDL
In standard Propositional Dynamic Logic (PDL) literature [D. Harel and D. Kozen and J. Tiuryn. Dynamic Logics. MIT Press, 2000; R. Goldblatt. Logics of Time and Computation. CSLI Lecture Notes 7. Stanford, 1992; P. Blackburn, M. de Rijke, and Y. Venema. ...
Tableaux for type PDL
BCI '13: Proceedings of the 6th Balkan Conference in InformaticsWe give a deterministic exponential, sound and complete tableau-based satisfiability algorithm for the system of Type PDL (τPDL) [9, 8], by extending the algorithm of Goré and Widmann [6] that has been given for the case of the CPDL. The system of τPDL ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 1989 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 July 1989
Check for updates
Qualifiers
- Article
Conference
6WADAS89
Sponsor:
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 162Total Downloads
- Downloads (Last 12 months)47
- Downloads (Last 6 weeks)7
Reflects downloads up to 26 Dec 2024
Other Metrics
Citations
Cited By
View all- Rubinson R(undefined)There is No Such Thing as Litigation: Access to Justice and the Realities of AdjudicationSSRN Electronic Journal10.2139/ssrn.2591393
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