Abstract is missing.
- Speeding Up Simulation of SystemC Using Model CheckingNicolas Blanc, Daniel Kroening. 1-16 [doi]
- Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software EngineeringSebastián Uchitel. 17-22 [doi]
- Satisfiability Modulo Theories: An AppetizerLeonardo Mendonça de Moura, Nikolaj Bjørner. 23-36 [doi]
- Interruption Testing of Reactive SystemsWilkerson de L. Andrade, PatrÃcia D. L. Machado. 37-53 [doi]
- Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOSWilkerson de L. Andrade, PatrÃcia D. L. Machado, Everton L. G. Alves, Diego R. Almeida. 54-69 [doi]
- Concurrent Models of Flash Memory Device BehaviourAndrew Butterfield, Art Ó Catháin. 70-83 [doi]
- Corecursive Algebras: A Study of General Structured CorecursionVenanzio Capretta, Tarmo Uustalu, Varmo Vene. 84-100 [doi]
- Formalizing FreeRTOS: First StepsDavid Déharbe, Stephenson Galvão, Anamaria Martins Moreira. 101-117 [doi]
- A Mechanized Strategy for Safe Abstraction of CSP SpecificationsAdriana Damasceno, Adalberto Farias, Alexandre Mota. 118-133 [doi]
- Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-BKriangsak Damchoom, Michael J. Butler. 134-152 [doi]
- An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System ModelMiguel Alexandre Ferreira, José Nuno Oliveira. 153-169 [doi]
- Towards Safe Design of Synchronous Bus Protocols in Event-BRicardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali. 170-185 [doi]
- Mechanising Data-Types for Kernel Design in ZLeo Freitas. 186-203 [doi]
- A Complete Set of Object Modeling Laws for AlloyRohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio. 204-219 [doi]
- Undecidability Results for Distributed Probabilistic SystemsSergio Giro. 220-235 [doi]
- Formalisation and Analysis of Objects as CSP ProcessesRenata Kaufman, Augusto Sampaio, Alexandre Mota. 236-250 [doi]
- Concolic Testing of the Multi-sector Read Operation for Flash Memory File SystemMoonzoo Kim, Yunho Kim. 251-265 [doi]
- Low-Level Code Verification Based on CSP ModelsMoritz Kleine, Steffen Helke. 266-281 [doi]
- Formal Modelling of a Microcontroller Instruction Set in BValério Medeiros Júnior, David Déharbe. 282-289 [doi]
- Defining Behaviours by Quasi-finalityElisabete Freire, LuÃs Monteiro. 290-305 [doi]
- Verifying Compiled File System CodeJan Tobias Mühlberg, Gerald Lüttgen. 306-320 [doi]
- Reasoning about General Quantum Programs over Mixed StatesJuliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry. 321-335 [doi]
- A Simple and General Theoretical Account for Abstract TypesHongwei Xi. 336-349 [doi]