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