skip to main content
Idioma:
Resultados 1 2 3 4 next page
Refinado por: Base de dados/Biblioteca: SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） remover tipo de recurso: Anais de Congresso remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Ghost Signals: Verifying Termination of Busy Waiting
Ghost Signals: Verifying Termination of Busy Waiting
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Ghost Signals: Verifying Termination of Busy Waiting

Reinhard, Tobias ; Jacobs, Bart Silva, A ; Leino, KRM

Lecture Notes in Computer Science, 2021, Vol.12760, p.27-50 [Periódico revisado por pares]

Springer Verlag

Texto completo disponível

Citações Citado por
2
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming

Benoit, Tuur ; Jacobs, Bart Tarifa, SLT ; Ahrendt, W

Integrated Formal Methods. IFM 2019, 2019, Vol.11918, p.46-64 [Periódico revisado por pares]

Springer

Texto completo disponível

Citações Citado por
3
Deadlock-Free Monitors
Deadlock-Free Monitors
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Deadlock-Free Monitors

Hamin, Jafar ; Jacobs, Bart Ahmed, Amal

Programming Languages and Systems. ESOP 2018, 2018, Vol.10801, p.415-441 [Periódico revisado por pares]

Springer

Texto completo disponível

Citações Citado por
4
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications

Vanspauwen, Gijs ; Jacobs, Bart

Software Engineering and Formal Methods, p.53-68 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
States of Convex Sets
States of Convex Sets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

States of Convex Sets

Jacobs, Bart ; Westerbaan, Bas ; Westerbaan, Bram

Foundations of Software Science and Computation Structures, p.87-101 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Verifying protocol implementations by augmenting existing cryptographic libraries with specifications
Verifying protocol implementations by augmenting existing cryptographic libraries with specifications
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verifying protocol implementations by augmenting existing cryptographic libraries with specifications

Vanspauwen, Gijs ; Jacobs, Bart Calinescu, Radu ; Rumpe, Bernhard

Software Engineering and Formal Methods, 2015, Vol.9276 (13), p.53-68 [Periódico revisado por pares]

Springer

Texto completo disponível

Citações Citado por
7
First Steps Towards Cumulative Inductive Types in CIC
First Steps Towards Cumulative Inductive Types in CIC
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

First Steps Towards Cumulative Inductive Types in CIC

Timany, Amin ; Jacobs, Bart Valencia, Frank D ; Rueda, Camilo ; Leucker, Martin

Theoretical Aspects of Computing - ICTAC 2015, 2015, Vol.9399, p.608-617 [Periódico revisado por pares]

Springer International Publishing

Texto completo disponível

Citações Citado por
8
Sound symbolic linking in the presence of preprocessing
Sound symbolic linking in the presence of preprocessing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Sound symbolic linking in the presence of preprocessing

Vanspauwen, Gijs ; Jacobs, Bart Merayo, Mercedes G ; Hierons, Robert M ; Bravetti, Mario

Software Engineering and Formal Methods, 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings, 2013, Vol.8137, p.122-136 [Periódico revisado por pares]

Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Exercises in coalgebraic specification
Exercises in coalgebraic specification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Exercises in coalgebraic specification

JACOBS, Bart

Lecture notes in computer science, 2002, p.237-280 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
10
One step towards automatic inference of formal specification using Automated VeriFast
One step towards automatic inference of formal specification using Automated VeriFast
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

One step towards automatic inference of formal specification using Automated VeriFast

Mohsen, Mahmoud Ashraf Mohamed A ; Jacobs, Bart Gnesi, Stefania ; Beek, Maurice H ter ; Knapp, Alexander

Critical Systems: Formal Methods and Automated Verification, 2016, Vol.9933, p.56-64 [Periódico revisado por pares]

Gewerbestrasse 11, 6330 Cham, Switzerland: Springer International Publishing

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.