skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover assunto: Formal Verification remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence
Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence

González Huesca, Lourdes del Carmen ; Miranda-Perea, Favio E. ; Linares-Arévalo, P. Selene

Electronic notes in theoretical computer science, 2020-03, Vol.348, p.61-83

Elsevier B.V

Texto completo disponível

Citações Citado por
2
VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs
VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs

Rand, Robert ; Zdancewic, Steve

Electronic notes in theoretical computer science, 2015-12, Vol.319, p.351-367

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Formal Verification of Health Assessment Tools: a Case Study
Formal Verification of Health Assessment Tools: a Case Study
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Verification of Health Assessment Tools: a Case Study

Bezerra, Jonas Santos ; Costa, Andrei ; Ribeiro, Leila ; Cota, Érika

Electronic notes in theoretical computer science, 2016-09, Vol.324, p.31-50

Elsevier B.V

Texto completo disponível

Citações Citado por
4
A Model Slicing Method for Workflow Verification
A Model Slicing Method for Workflow Verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Model Slicing Method for Workflow Verification

Rabbi, Fazle ; Wang, Hao ; MacCaull, Wendy ; Rutle, Adrian

Electronic notes in theoretical computer science, 2013-05, Vol.295, p.79-93

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Verifying Industrial Hybrid Systems with MathSAT
Verifying Industrial Hybrid Systems with MathSAT
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verifying Industrial Hybrid Systems with MathSAT

Audemard, Gilles ; Bozzano, Marco ; Cimatti, Alessandro ; Sebastiani, Roberto

Electronic notes in theoretical computer science, 2005-03, Vol.119 (2), p.17-32

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Formalizing UML Models and OCL Constraints in PVS
Formalizing UML Models and OCL Constraints in PVS
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formalizing UML Models and OCL Constraints in PVS

Kyas, Marcel ; Fecher, Harald ; de Boer, Frank S. ; Jacob, Joost ; Hooman, Jozef ; van der Zwaag, Mark ; Arons, Tamarah ; Kugler, Hillel

Electronic notes in theoretical computer science, 2005-01, Vol.115, p.39-47

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Formal Modelling of Salience and Cognitive Load
Formal Modelling of Salience and Cognitive Load
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Modelling of Salience and Cognitive Load

Rukšėnas, R. ; Back, J. ; Curzon, P. ; Blandford, A.

Electronic notes in theoretical computer science, 2008-04, Vol.208, p.57-75

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Formal Verification of Graph Grammars using Mathematical Induction
Formal Verification of Graph Grammars using Mathematical Induction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Verification of Graph Grammars using Mathematical Induction

da Costa, Simone André ; Ribeiro, Leila

Electronic notes in theoretical computer science, 2009-07, Vol.240, p.43-60

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Automated Formalisation for Verification of Diagrammatic Models
Automated Formalisation for Verification of Diagrammatic Models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automated Formalisation for Verification of Diagrammatic Models

Williams, James R. ; Polack, Fiona A.C.

Electronic notes in theoretical computer science, 2010-06, Vol.263, p.211-226

Elsevier B.V

Texto completo disponível

Citações Citado por
10
A Complete Symbolic Bisimilarity for an Extended Spi Calculus
A Complete Symbolic Bisimilarity for an Extended Spi Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Complete Symbolic Bisimilarity for an Extended Spi Calculus

Borgström, Johannes

Electronic notes in theoretical computer science, 2009-08, Vol.242 (3), p.3-20

Elsevier B.V

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2004  (4)
  2. 2004Até2005  (16)
  3. 2006Até2007  (20)
  4. 2008Até2010  (20)
  5. Após 2010  (5)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.