Abstract is missing.
- Verification of Embedded Software: From Mars to ActionsCharles Pecheur. 1 [doi]
- Synchronous Design and Verification of Critical Embedded Systems Using SCADE and EsterelGérard Berry. 2 [doi]
- Static Analysis of the Accuracy in Control Systems: Principles and ExperimentsEric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino. 3-20 [doi]
- Application of Static Analyses for State Space Reduction to Microcontroller Assembly CodeBastian Schlich, Jann Löll, Stefan Kowalewski. 21-37 [doi]
- Checking the TWIN Elevator System by Translating Object-Z to SMVSören Preibusch, Florian Kammüller. 38-55 [doi]
- Introducing Time in an Industrial Application of Model-CheckingLionel van den Berg, Paul A. Strooper, Kirsten Winter. 56-67 [doi]
- Integration of Formal Analysis into a Model-Based Software Development ProcessMichael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm. 68-84 [doi]
- Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC SchedulerLars Gesellensetter, Sabine Glesner, Elke Salecker. 85-100 [doi]
- Computing Worst-Case Response Times in Real-Time Avionics ApplicationsMurali Rangarajan, Darren D. Cofer. 101-114 [doi]
- Machine Checked Formal Proof of a Scheduling Protocol for Smartcard PersonalizationLeonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen. 115-132 [doi]
- An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented ApplicationsMaurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti. 133-148 [doi]
- Model Classifications and Automated VerificationRadek Pelánek. 149-163 [doi]
- An Approach to Formalization and Analysis of Message Passing LibrariesRobert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby. 164-181 [doi]
- Analysis of a Session-Layer Protocol in mCRL2Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko. 182-199 [doi]
- Automatic Certification of Java Source Code in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. 200-217 [doi]
- Reverse Engineered Formal Models for GUI TestingAna C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes. 218-233 [doi]
- Automatic Interoperability Test Case Generation Based on Formal DefinitionsAlexandra Desmoulin, César Viho. 234-250 [doi]