Abstract is missing.
- The experience of ATX with the application of formal/rigorous techniques and methods in real projectsLuis Andrade. 1 [doi]
- Quantitative analysis of distributed randomized protocolsChristel Baier, Frank Ciesinski, Marcus Größer. 2-7 [doi]
- Ten commandments revisited: a ten-year perspective on the industrial application of formal methodsJonathan P. Bowen, Michael G. Hinchey. 8-16 [doi]
- Model checking software with well-defined APIs: the socket caseP. de la Cámara, M. M. Gallardo, P. Merino, D. Sanán. 17-26 [doi]
- Flush: a system development tool based on scade/lustreJan Mikác, Paul Caspi. 27-34 [doi]
- Structural test coverage criteria for lustre programsAbdesselam Lakehal, Ioannis Parissis. 35-43 [doi]
- Echo: a practical approach to formal verificationElisabeth A. Strunk, Xiang Yin 0001, John C. Knight. 44-53 [doi]
- Solving scheduling problems by untimed model checking: the clinical chemical analyser case studyAnton Wijs, Jaco van de Pol, Elena M. Bortnik. 54-61 [doi]
- LearnLib: a library for automata learning and experimentationHarald Raffelt, Bernhard Steffen, Therese Berg. 62-71 [doi]
- Developing critical systems with PLD componentsAdrian J. Hilton, Jon G. Hall. 72-79 [doi]
- On-the-fly state space reductions for weak equivalencesRadu Mateescu 0001. 80-89 [doi]
- Invariants come from templatesJoni Helin, Pertti Kellomäki. 90-97 [doi]
- Enhancing random walk state space explorationRadek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim. 98-105 [doi]
- Toward a formal model for component interfaces for real-time systemsDang Van Hung. 106-114 [doi]
- An approach to the pervasive formal specification and verification of an automotive system: status reportThomas In der Rieden, Steffen Knapp. 115-124 [doi]
- Requirements of an integrated formal method for intelligent swarmsMichael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski. 125-133 [doi]
- Instantiating generic charts for railway interlocking systemsMichele Banci, Alessandro Fantechi. 134-143 [doi]