skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Refinado por: assunto: Software remover Model Checking remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
The practical use of model checking in software development
The practical use of model checking in software development
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The practical use of model checking in software development

Myers, K. ; Dionne, K. ; Cruz, J. ; Vijay, V. ; Dunlap, S. ; Gluch, D.P.

Proceedings IEEE SoutheastCon 2002 (Cat. No.02CH37283), 2002, p.21-27

Piscataway NJ: IEEE

Texto completo disponível

Citações Citado por
12
Formal verification of standards for distance vector routing protocols
Formal verification of standards for distance vector routing protocols
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal verification of standards for distance vector routing protocols

Bhargavan, Karthikeyan ; Obradovic, Davor ; Gunter, Carl A

Journal of the ACM, 2002-07, Vol.49 (4), p.538-576 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
13
Synthesising Attacks on Cryptographic Protocols
Synthesising Attacks on Cryptographic Protocols
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Synthesising Attacks on Cryptographic Protocols

Sinclair, David ; Gray, David ; Hamilton, Geoff Wang, Farn

Automated Technology for Verification and Analysis, 2004, p.49-63 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
14
Toward Unbounded Model Checking for Region Automata
Toward Unbounded Model Checking for Region Automata
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Toward Unbounded Model Checking for Region Automata

Yu, Fang ; Wang, Bow-Yaw Wang, Farn

Automated Technology for Verification and Analysis, 2004, p.20-33 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
15
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker

Haddad, Serge ; Ilié, Jean-Michel ; Klai, Kais Wang, Farn

Automated Technology for Verification and Analysis, 2004, p.196-210 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
16
Formula-based abstractions and symbolic execution for model checking programs
Formula-based abstractions and symbolic execution for model checking programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formula-based abstractions and symbolic execution for model checking programs

Santone, Antonella ; Vaglini, Gigliola

Microprocessors and microsystems, 2004-03, Vol.28 (2), p.69-76 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
17
Formally analyzing software architectural specifications using SAM
Formally analyzing software architectural specifications using SAM
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formally analyzing software architectural specifications using SAM

He, Xudong ; Yu, Huiqun ; Shi, Tianjun ; Ding, Junhua ; Deng, Yi

The Journal of systems and software, 2004-04, Vol.71 (1), p.11-29 [Periódico revisado por pares]

New York: Elsevier Inc

Texto completo disponível

Citações Citado por
18
Verifying properties of hardware and software by predicate abstraction and model checking
Verifying properties of hardware and software by predicate abstraction and model checking
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verifying properties of hardware and software by predicate abstraction and model checking

Bryant, R. E. ; Rajamani, S. K.

IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004, 2004, p.437-438

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
19
Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings
Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings

International Conference on the Quality of Software Architectures (1st 2005 Erfurt, Germany) Ralf Reussner; International Workshop on Software Quality (2nd 2005 Erfurt, Germany)

Berlin Springer New York c2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3712 ) e outros locais(Acessar)

20
Verification of evolving software via component substitutability analysis
Verification of evolving software via component substitutability analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification of evolving software via component substitutability analysis

Chaki, Sagar ; Clarke, Edmund ; Sharygina, Natasha ; Sinha, Nishant

Formal methods in system design, 2008-06, Vol.32 (3), p.235-266 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (54)
  2. Anais de Congresso  (23)
  3. Book Chapters  (3)
  4. Livros  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2001  (9)
  2. 2001Até2008  (16)
  3. 2009Até2013  (28)
  4. 2014Até2019  (22)
  5. Após 2019  (8)
  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.