COD0001 = Refinement COD0002 = New ... COD0003 = Open ... COD0004 = Close COD0005 = Save COD0006 = Save as ... COD0007 = Print COD0008 = Exit COD0011 = Window COD0012 = Refinement COD0013 = Code COD0014 = Proof Obligations COD0015 = Laws COD0018 = Help COD0019 = Topics COD0020 = About COD0021 = Laws COD0040 = Applying law ... COD0063 = There is no selected law or multiple \n selected laws in the law window. Código 0001. COD0631 = Copy COD0072 = OK COD0078 = Cancel COD0079 = Discard COD0083 = Code COD0084 = Proof Obligation COD0105 = Saving development... COD0109 = Parameter COD0110 = Enter the predicate: COD0111 = Open Refinement... COD0129 = Insert Comment COD0262 = Error trying to open program. COD0263 = Not possible to save program. COD0268 = Undo COD0269 = Redo COD0272 = Edit COD0273 = Law details... COD0275 = Insert comments: COD0276 = Comments: COD0279 = Comments COD0285 = View Comment COD0286 = Applied Law COD0287 = Description COD0288 = Apply law COD0289 = Hide COD0290 = Collect Code COD0293 = Comments COD0460 = Enter the expression: COD0461 = Enter the action: COD0462 = Enter the nameset: COD0463 = Enter the channelset: COD0464 = The selected program is not an action COD0465 = Type Errors COD0466 = The specification has as type errors: COD0469 = Enter the channel name: COD0470 = The selected law has as type errors: COD0471 = Main Action COD0472 = Colect Action COD0473 = External Choice Commutativity COD0474 = Guard/Internal choice--distribution COD0475 = Skip COD0476 = Prefix distribution COD0477 = Parallel composition commutativity COD0478 = Guard combination COD0479 = Guards expansion COD0480 = Guard/Sequence--associativity COD0481 = Unification Exception COD0482 = Erro gerado por um dos seguintes motivos:\nI) O termo selecionado nao unifica as meta-variáveis\nII) Esse termo já foi alvo de uma aplicação de lei COD0483 = Laws: COD0484 = Name: COD0485 = Obligations: COD0486 = Observations: COD0487 = Before: COD0488 = After: COD0492 = Guard/Interleaving -- distribution 1 COD0493 = External choice/Prefix distribution COD0494 = Enter the namelist: COD0495 = Enter the name: COD0496 = Enter the renamelist: COD0497 = Enter the decllist: COD0498 = Enter the stroke: COD0499 = Enter the exprlist: COD0500 = Enter the process: COD0501 = Recursion distribution COD0502 = View Comment COD0503 = Actions COD0504 = Processes COD0505 = Initial Term COD0506 = Guarded Stop COD0507 = Edit Comment COD0508 = Remove Comment COD0509 = Push F12 and the Latex commands will be converted into Unicode COD0510 = Syntax Error COD0511 = File : COD0513 = Collect COD0514 = Colect Process COD0515 = Channel extension 4 - Inserting a channel COD0517 = Errors: COD0518 = Details>> COD0519 = Details<< COD0520 = Channel extension 4 Removing a channel COD0521 = Open Specification COD0522 = Select the itens: COD0523 = Itens determine which sections will be integrated in the generated archive .tex COD0524 = Original Specification COD0525 = Proof Obligations COD0526 = Comments in a list COD0527 = Comments before line COD0528 = Comments after line COD0529 = Recursion -- least fixed-point COD0530 = Enter the paragraph: COD0531 = Enter the list of paragraphs: COD0532 = Refinement COD0533 = Insert new Action Paragraph COD0534 = Insert new Paragraph COD0535 = Original Specification COD0536 = Remove Paragraph COD0537 = Copy Rule COD0538 = Transform Predicate COD0539 = COLLECTED TERM COD0540 = ===> COLLECTED TERM <=== COD0541 = External Choice/Sequence distribution 2 COD0542 = Generating output .tex file COD0543 = Simulation COD0544 = Action Refinement COD0545 = Process Refinement COD0546 = Schema Refinement COD0547 = Normalize COD0548 = ORIGINAL SPECIFICATION COD0549 = REFINEMENT COD0550 = PROOF OBLIGATIONS COD0551 = NEW COMMANDS COD0552 = INCLUDING PACKAGES COD0553 = COMMENTS COD0554 = Initialisation schema/Sequence--introduction COD0555 = Copy Rule (Inverse) COD0556 = FINAL CODE COD0557 = Hiding Identity COD0558 = Hiding Sequence distribution COD0559 = Schemas Parallelism composition distribution COD0560 = Process splitting COD0561 = First Process Name COD0562 = Second Process Name COD0563 = NameList of the first process paragraphs COD0564 = First Process Main Action COD0565 = Second Process Main Action COD0566 = First Process State Name COD0567 = Second Process State Name COD0569 = Predicate COD0573 = Assumption Refinement COD0574 = Guards Refinement COD0575 = Parallel Composition Refinement COD0576 = Interleaving Refinement COD0577 = Prefix Refinement COD0578 = External Choice Refinement COD0579 = Internal Choice Refinement COD0580 = Hiding Refinement COD0581 = Recursion Refinement COD0582 = Sequence Refinement COD0583 = Chaos Refinement COD0584 = Variable Blocks Refinement COD0585 = Alternation Refinement COD0586 = Substitution Refinement COD0587 = View Latex COD0588 = View Unicode COD0589 = About CRefine COD0590 = Sequence Associativity COD0591 = Schema Decomposition COD0592 = Click here to select the law COD0593 = Parallel Composition Sequence step COD0594 = Error in the archives of internationalisation.\n Check that are in accordance with the most current version. COD0595 = Original COD0596 = Evaluated COD0597 = Assumption/Input prefix - distribution COD0598 = Parallel composition introduction 1* (1) COD0599 = Error in generate printing file COD0600 = Manual Proof COD0601 = True COD0602 = False COD0603 = Unchecked COD0604 = Identifier COD0605 = Loading... COD0606 = Schema Decomposition with predicate COD0609 = IO Error COD0612 = \Xi Definition COD0616 = Conjunctions of schemas Zero COD0617 = Test wrtV COD0618 = There is a name set declaration COD0619 = Invallid state paragraph COD0620 = There is a unclassified paragraph COD0621 = Invalid File COD0622 = Sucessfuly generated file COD0624 = The argument cannot be parsed COD0625 = Insert COD0626 = Paragraph COD0627 = --> INSERTED PARAGRAPH COD0628 = The specification could not be edited COD0631 = Copy COD0632 = Error in Law Application COD0632 = Error in the change of format Unicode/Latex COD0633 = Unicode/Latex Error COD0634 = Cancelled Law Application COD0635 = Error in The collection of term COD0636 = Rearrage Declaration List COD0637 = Rearrage Declaration List Without Predicate COD0638 = Transform into \Xi Application COD0639 = Stop COD0640 = Chaos COD0641 = Sequence distribution COD0642 = External choice distribution COD0643 = Internal choice distribution COD0644 = Variable Block Distribution COD0645 = Assumption Conjunction COD0646 = Assumption introduction COD0647 = Assumption/Guard-introduction COD0648 = Guard/Assumption-introduction 1 COD0649 = Assumption/Guard-elimination 1 COD0650 = Assumption/Guard-elimination 2 COD0651 = Assumption/Guard-replacement COD0652 = Assumption elimination COD0653 = Assumption substitution 1 COD0654 = Assumption/External choice-distribution COD0655 = Assumption/Parallelism composition-distribution COD0656 = Assumption/Interleaving-distribution COD0657 = Wrong format file. COD0658 = The insertion of paragraph was canceled COD0659 = Assumption/Prefix - distribution 1 COD0660 = Assumption/Prefix - distribution 2 COD0661 = Assumption/ Simple Prefix - Distribution COD0662 = Assumption/Simple Prefix - Distribution 2 COD0663 = Assumption/Output Prefix - Distribution COD0664 = Assumption/Output Prefix - Distribution 2 COD0665 = Assumption/Input prefix - distribution 2 COD0666 = Input Prefix Distribution COD0667 = Assumption/Constrained Input prefix - distribution COD0668 = Assumption/Constrained Input prefix - distribution 2 COD0669 = Assumption/Schema - Distribution COD0670 = Assumption/Assignment - distribution COD0671 = Assumption Unit COD0672 = Assumption Zero COD0673 = Guarded/Parallel composition -- distribution 3 COD0674 = Guards/External Choice Distribution COD0675 = Guarded/Parallel composition -- distribution 1 COD0676 = Guard/Interleaving -- distribution 2 COD0677 = True Guard COD0678 = False Guard COD0679 = Schema Disjunction Elimination COD0680 = Channel extension 1 COD0681 = Parallelism Composition\ExternalChoice - Exchange COD0682 = Channel extension 2 COD0683 = Parallelism composition/Sequence -- Distribution COD0684 = Parallelismo Composition Unit COD0685 = Parallelismo Composition Unit 2 COD0686 = Parallelismo Composition Zero COD0687 = Parallelismo Deadlocked 1 parte 1 COD0688 = Parallelismo Deadlocked 1 parte 2 COD0689 = Parallelismo Deadlocked 2 COD0690 = Interleaving/Sequence -- Distribution COD0691 = Interleaving Zero COD0692 = Interleaving Stop COD0693 = Parallelism Composition/ Interleaving Equivalence COD0694 = Interleaving Choices COD0695 = Prefix Skip COD0696 = Prefix Sequential Composition Associativity COD0697 = Prefix/Hiding COD0698 = Prefix Introduction COD0699 = Prefix/Internal Choice -- Distribution COD0700 = Prefix/Parrallelism Composition -- Distribution COD0701 = Communication/Parallelism Composition -- Distribution COD0702 = Input Prefix/Parrallelism Composition -- Distribution COD0703 = External Choice Elimination COD0704 = External Choice Unit COD0705 = Sequence/Internal Choice -- Distribution COD0706 = Internal Choice Elimination COD0707 = Internal Choice Elimination 2 COD0708 = Internal Choice Zero COD0709 = Internal Choice/Parallelism -- Distribution COD0710 = Hiding Combination COD0711 = Hiding External Choice Distribution COD0712 = Hiding/Chaos -- Distribution COD0713 = Sequence Zero COD0714 = Sequence Zero 2 COD0715 = Chaos Refinement COD0716 = Hiding Expansion 2 COD0717 = Proved by the syntatic analyser of CRefine. COD0718 = Proved false by the syntactic analyser of CRefine. COD0719 = The Syntactic Restriction Analyzer of CRefine can not determine\n a boolean value for the predicate. COD0720 = Proved by veriT Theorem Prover COD0721 = Determined false by veriT Theorem Prover COD0722 = veriT Theorem Prover can not determine a boolean value for the predicate. COD0723 = The predicate could not be transformed into a input file for Theorem Prover veriT. COD0724 = PO Log COD0725 = Generate COD0726 = veriT file COD0727 = Generating SMT file... COD0728 = Details of Errors: COD0729 = Modified Program COD0730 = Do you want to save your changes or discard them? COD0731 = SMT Pure File COD0732 = Prove COD0733 = Start Proof COD0734 = Continue Proof COD0735 = PO COD0736 = Father Development was not found for the underdevelopment loaded COD0737 = Discard All COD0738 = Target COD0739 = View COD0740 = Predicate successfully proved COD0741 = Collect Specification COD0742 = Guarded/Parallelism composition -- distribution 2 COD0743 = Collect Initial Term COD0744 = External Choice/Sequence distribution COD0745 = Recursion Unfold - folding recursion COD0746 = Sequence Unit part 1 COD0747 = Sequence Unit part 2 COD0748 = This PO must be sent to a Model Checker to be analised. COD0749 = Channel extension 3 COD0750 = Parallelism Compositon/External Choice Expansion COD0751 = Recursion Unfold - unfolding recursion COD0752 = Parallelism Compositon/External Choice Distribution DevelopmentProved = Predicate proved by another Development. ViewProof = View Proof ReachedSubDevelopmentTitle = Destination Term Reached! ReachedSubDevelopment = Destination Term reached.\nIn order to conclude the sub-development, prove the remaining PO's. SubDevelopment = Sub Development BasicConversion = Basic Conversion BasicConversionNoChangeState = Basic Conversion (Operations that do not modify the state) DeltaSError = Delta S não encontrado SNotFoundError = S não é encontrado na especificação ReduceStep = Apply Definition of a Name into Schema NameNotFound = The schema does not contain the name DefinitionNotFound = The Definition of the name was not found. SchemaExpressionsLaw = Schema Expressions DataRefinement = Data Refinement Process ChangeProcessStateOP = The main action of the process must be according to the new state DontForgetStateDeclaration = Do not forget to declare the state. Use the command "\circstate". SaveError = Error in saving operation. LeiTeste = Teste law Chaos ZRC = Zed Refinement Calculus SchemaDisjunctionConversion = Schema Disjunction Conversion SchemaConjuctionConversion = Schema Conjuction Conversion SchemaCompositionConversion = Schema Composition Conversion GuardDistribution = Guard Distribution SchemaRefinement = Schema Refinement Refinamento=Tactics ArcAngelC=ArcAngelC Tactics=Tactics Skip=Skip Tactic NewT = New Tactic OpenT = Open Tactic RemoveT = Remove Tactic SaveT = Save Tactic TacticError = Sintactic Error NoDetails = Sem datalhes a serem exibidos ErrorDetails = Detalhes do Erro SaveTactic = First Save the Tactic SaveError = Erro ao Salvar AddTactic = Tactic Successfully Compiled EditTactic = Compiled Tactic EmptyFile = Empty File ApplyTactic = Apply Tactic LawNotFound = Law Not Found LawNotValidCRulesMsg = Invalid law TacticNotFound = Tactic not Found Unificacao = Impossivel realizar a unificação VAR_EXP = VAR EXP ParSeq2 = Parallelism composition Sequence Distribution2 VarExpPar = Var Exp Par ParComm = Par Comm JoinBlocks = Join Blocks InterUnit = Inter Unit ParInter2 = Par Inter 2 VarExpSeq = Var Exp Seq Sequence_Unit_Part_3 = Sequence Unit Part 3 VarExpRec = Var Exp Rec ParInterleave = Par Interleave MainVarState = MainVarState MainVarState2 = MainVarState2 Compile=Compile Keybord=Virtual Keyboard Parser=ArcAngelC Parser RecSync2 = Rec Sync2 InterIndex = Inter Index ParOutInpInterExchangeN = ParOutInpInterExchangeN ParOutInpInterExchange2 = ParOutInpInterExchange2 ParOutInpInterExchange3 = ParOutInpInterExchange3 HidParDist = HidParDist HidInterDist = HidInterDist HidRecDist = HidRecDist HidStep = HidStep HidStepRef = HidStepRef ParHidDist = Par Hid Dist JoinProcHid = Join Proc Hid InterSeqAssig = Inter Seq Assig InterComm = Inter Comm InterUnusedName = Inter Unused Name InterSeqExtratcSnd = Inter Seq Extratc Snd JoinProcPars = Join Proc Pars Hiding_Sequence_distributionRef = Hiding Sequence distributionRef HidRecDistRef = HidRecDistRef HidContract = Hid Contract Generate = Generate Tactic EnterCode = Enter ArcAngelC Code