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