Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
West, Margaret Mary - Department of Computing and Mathematical Sciences, University of Huddersfield
Proof Obligations for TownsXXX.mch Initialisation.1
MACHINE TownsXXX SETS ANSWER = f connected , notconnected g ; OBJECTS1 ; TOWN
The Automated Refinement of a Requirements Domain T. L. McCluskey and M. M. West
Transforming General Program Proofs: A Meta Interpreter which Expands Negative Literals
A Case Study in the Use of Theory Revision in Requirements T.L. McCluskey
Programming Correctness
Issues in Validation and Executability of Formal Specifications in the Z Notation
Issue 2010-1 December 2010
!"$#&%'(0)214365 87& 9A@CBEDGFIHPHPQRBEDTS
logic bombs trojan horse independent
Proofs (Level 0) for TownsXXX.mch Initialisation.1
Loaded SRC/TownsXXX.mch.thy Script Initialisation TownsXXX.may24a.anm
2222222222222222222222222222222222222222222222222222222222222222222222222 Attribute Meaning
Virtual page Figure 1: Page Table
The University of Huddersfield School of Computing and Mathematics Techniques of Formal Specification CHS 325
Assigning Blame to General Clausal Form Theories DOCUMENT : impress/2/01/1
AFPL et AFCETGT Programmation en Logique ---Jeudi 26 Juin 1997 ---
Standards utility programs (shell, editors, compliers etc)
Causal In uence Coecients: A Localised Maximum Entropy Approach to Bayesian Inference
Proofs (Level 1) for TownsXXX.mch Initialisation.2
Towards the Automated Debugging and Maintenance of Logicbased Requirements Models
Issue 2011-1 December 2011
