Using PVS to Prove a Z Refinement: A Case Study

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-63533-5_30
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Single Complete Refinement Rule for Z

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2000English

IO-refinement in Z

1998English

Rape in Bangladesh: A Heinous Crime Tough to Prove

The International Journal of Social Sciences and Humanities Invention
2017English

Modeling of ALFA Programs Using PVS Theorem Prover

2009English

Consistency and Refinement for Partial Specification in Z

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

EEG Biofeedback Case Studies Using Live Z-Score Training and a Normative Database

Journal of Neurotherapy
2010English

Using Skype in a Primary Class: A Case Study

Bellaterra Journal of Teaching and Learning Language and Literature
LinguisticsEducationLiteratureLiterary TheoryLanguage
2013English

Correction To: A Security Review of Local Government Using NIST CSF: A Case Study

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2019English

Dynamical Convergence of a Certain Polynomial Family to F_a(z) = Z + E^z + A

Annales Academiae Scientiarum Fennicae Mathematica
Mathematics
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy