Parceria:
Home
Pesquisar:
Autor
Título
Ano
Evento
Periódico
Listar:
Eventos
Periódicos
Trabalhos Recentes
Curadoria
XII Simpósio Brasileiro de Métodos Formais - 2010 - Natal, RN
18 registros retornados
Michael Leuschel
,
Jens Bendisposto
.
Directed Model Checking for B: An Evaluation and New Techniques
.  1 - 16
Wojciech Mostowski
,
Erik Poll
.
Midlet Navigation Graphs in JML
.  17 - 32
Pedro Crispim
,
Antónia Lopes
,
Vasco T. Vasconcelos
.
Runtime Verification for Generic Classes with ConGu 2
.  33 - 48
Sabina Akhtar
,
Stephan Merz
,
Martin Quinson
.
A High-Level Language for Modeling Algorithms and Their Properties
.  49 - 63
Paulo Salem da Silva
,
Ana C. V. de Melo
.
A Formal Environment Model for Multi-Agent Systems
.  64 - 79
Sebastian S. Bauer
,
Rolf Hennicker
,
Michel Bidoit
.
A Modal Interface Theory with Data Constraints
.  80 - 95
Tiago Massoni
,
Rohit Gheyi
,
Paulo Borba
.
Synchronizing Model and Program Refactoring
.  96 - 111
Daniel Calegari
,
Carlos Luna
,
Nora Szasz
,
Álvaro Tasistro
.
A Type-Theoretic Framework for Certified Model Transformations
.  112 - 127
Moritz Kleine
,
J. W. Sanders
.
Simulating Truly Concurrent CSP
.  128 - 143
Håkan L. S. Younes
,
Edmund M. Clarke
,
Paolo Zuliani
.
Statistical Verification of Probabilistic Properties with Unbounded Until
.  144 - 160
Alejandro Tamalet
,
Ken Madlener
.
Reasoning about Assignments in Recursive Data Structures
.  161 - 176
Abderrahman Matoussi
,
Frédéric Gervais
,
Régine Laleau
.
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned
.  177 - 193
Eduardo Mazza
,
Marie-Laure Potet
,
Daniel Le Métayer
.
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence
.  194 - 209
Artur O. Gomes
,
Marcel V. M. Oliveira
.
Formal Development of a Cardiac Pacemaker: From Specification to Code
.  210 - 225
Marcello Bonsangue
,
Georgiana Caltais
,
Eugen-Ioan Goriac
,
Dorel Lucanu
,
Jan Rutten
,
Alexandra Silva
.
A Decision Procedure for Bisimilarity of Generalized Regular Expressions
.  226 - 241
Thomas Martin Gawlitza
,
Helmut Seidl
,
Kumar Neeraj Verma
.
Normalization of Linear Horn Clauses
.  242 - 257
Zhiming Liu
,
Charles Morisset
,
Shuling Wang
.
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs
.  258 - 273
Frank Zeyda
,
Ana Cavalcanti
.
Automating Refinement of Circus Programs
.  274 - 290
Home
Pesquisar:
Autor
Título
Ano
Evento
Periódico
Listar:
Eventos
Periódicos
Trabalhos Recentes
Curadoria
Biblioteca Digital Brasileira de Computação
Mantida por: