Parceria:
Home
Pesquisar:
Autor
Título
Ano
Evento
Periódico
Listar:
Eventos
Periódicos
Trabalhos Recentes
Curadoria
XIII Simpósio Brasileiro de Métodos Formais - 2009 - Gramado, RS
23 registros retornados
Nicolas Blanc
,
Daniel Kroening
.
Speeding Up Simulation of SystemC Using Model Checking
.  1 - 16
Sebastian Uchitel
.
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering
.  17 - 22
Leonardo de Moura
,
Nikolaj Bjørner
.
Satisfiability Modulo Theories: An Appetizer
.  23 - 36
Wilkerson L. Andrade
,
Patrícia D. L. Machado
.
Interruption Testing of Reactive Systems
.  37 - 53
Wilkerson L. Andrade
,
Patrícia D. L. Machado
,
Everton L. G. Alves
,
Diego R. Almeida
.
Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS
.  54 - 69
Andrew Butterfield
,
Art Ó Catháin
.
Concurrent Models of Flash Memory Device Behaviour
.  70 - 83
Venanzio Capretta
,
Tarmo Uustalu
,
Varmo Vene
.
Corecursive Algebras: A Study of General Structured Corecursion
.  84 - 100
David Déharbe
,
Stephenson Galvão
,
Anamaria Martins Moreira
.
Formalizing FreeRTOS: First Steps
.  101 - 117
Adriana Damasceno
,
Adalberto Farias
,
Alexandre Mota
.
A Mechanized Strategy for Safe Abstraction of CSP Specifications
.  118 - 133
Kriangsak Damchoom
,
Michael Butler
.
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
.  134 - 152
Miguel Alexandre Ferreira
,
José Nuno Oliveira
.
An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model
.  153 - 169
Ricardo Bedin França
,
Leandro Buss Becker
,
Jean-Paul Bodeveix
,
Jean-Marie Farines
,
Mamoun Filali
.
Towards Safe Design of Synchronous Bus Protocols in Event-B
.  170 - 185
Leo Freitas
.
Mechanising Data-Types for Kernel Design in Z
.  186 - 293
Rohit Gheyi
,
Tiago Massoni
,
Paulo Borba
,
Augusto Sampaio
.
A Complete Set of Object Modeling Laws for Alloy
.  204 - 219
Sergio Giro
.
Undecidability Results for Distributed Probabilistic Systems
.  220 - 235
Renata Kaufman
,
Augusto Sampaio
,
Alexandre Mota
.
Formalisation and Analysis of Objects as CSP Processes
.  236 - 250
Moonzoo Kim
,
Yunho Kim
.
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
.  251 - 265
Moritz Kleine
,
Steffen Helke
.
Low-Level Code Verification Based on CSP Models
.  266 - 281
Valério Medeiros
,
David Déharbe
.
Formal Modelling of a Microcontroller Instruction Set in B
.  282 - 289
Elisabete Freire
,
Luís Monteiro
.
Defining Behaviours by Quasi-finality
.  290 - 305
Jan Tobias Mühlberg
,
Gerald Lüttgen
.
Verifying Compiled File System Code
.  306 - 320
Juliana Kaizer Vizzotto
,
Giovani Rubert Librelotto
,
Amr Sabry
.
Reasoning about General Quantum Programs over Mixed States
.  321 - 335
Hongwei Xi
.
A Simple and General Theoretical Account for Abstract Types
.  336 - 349
Home
Pesquisar:
Autor
Título
Ano
Evento
Periódico
Listar:
Eventos
Periódicos
Trabalhos Recentes
Curadoria
Biblioteca Digital Brasileira de Computação
Mantida por: