Abstract is missing.
- Model-Based Development: Combining Engineering Approaches and Formal TechniquesBernhard Schätz. 1-2 [doi]
- Tutorial on the RAISE Language, Method and ToolsChris George. 3-4 [doi]
- Model-Based Testing with Spec#Jonathan Jacky. 5-6 [doi]
- Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and MethodShaoying Liu. 7-8 [doi]
- Tutorial: Software Model CheckingEdmund M. Clarke, Daniel Kroening. 9-10 [doi]
- Engineering Quality SoftwareAmitabh Srivastava. 11 [doi]
- When Can Formal Methods Make a Real Difference?Peter G. Neumann. 12 [doi]
- On the Adoption of Formal Methods by Industry: The ACL2 ExperienceJ. Strother Moore. 13 [doi]
- A CLP Approach to Modelling SystemsJoxan Jaffar. 14 [doi]
- Multi-prover Verification of C ProgramsJean-Christophe Filliâtre, Claude Marché. 15-29 [doi]
- Memory-Model-Sensitive Data Race AnalysisYue Yang, Ganesh Gopalakrishnan, Gary Lindstrom. 30-45 [doi]
- Formal Models for Web Navigations with Session Control and Browser CacheJessica Chen, Xiaoshan Zhao. 46-60 [doi]
- Managing Verification Activities Using SVMBill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar. 61-75 [doi]
- A General Model for Reachability Testing of Concurrent ProgramsRichard H. Carver, Yu Lei. 76-98 [doi]
- A Knowledge Based Analysis of Cache CoherenceKai Baukus, Ron van der Meyden. 99-114 [doi]
- A Propositional Logic-Based Method for Verification of Feature ModelsWei Zhang, Haiyan Zhao, Hong Mei. 115-130 [doi]
- Deriving Probabilistic Semantics Via the Weakest Completion Jifeng He, Carroll Morgan, Annabelle McIver. 131-145 [doi]
- CSP Representation of Game Semantics for Second-Order Idealized AlgolAleksandar Dimovski, Ranko Lazic. 146-161 [doi]
- An Equational Calculus for AlloyMarcelo F. Frias, Carlos López Pombo, Nazareno Aguirre. 162-175 [doi]
- Guiding Spin SimulationNicolae Goga, Judi Romijn. 176-193 [doi]
- Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov ChainsYoungmin Kwon, Gul Agha. 194-208 [doi]
- Software Model Checking Using Linear ConstraintsAlessandro Armando, Claudio Castellini, Jacopo Mantovani. 209-223 [doi]
- Counterexample Guided Abstraction Refinement Via Program ExecutionDaniel Kroening, Alex Groce, Edmund M. Clarke. 224-238 [doi]
- Faster Analysis of Formal SpecificationsFabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet. 239-258 [doi]
- Bridging Refinement of Interface Automata to Forward Simulation of I/O AutomataYanjun Wen, Ji Wang, Zhi-Chang Qi. 259-273 [doi]
- Learning to Verify Safety PropertiesAbhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha. 274-289 [doi]
- Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test ExecutionsTao Xie, David Notkin. 290-305 [doi]
- A Specification-Based Approach to Testing Polymorphic AttributesLing Liu, Huaikou Miao. 306-319 [doi]
- From Circus to JCSPMarcel Oliveira, Ana Cavalcanti. 320-340 [doi]
- An Approach to Preserve Protocol Consistency and Executability Across UpdatesMahadevan Subramaniam, Parvathi Chundi. 341-356 [doi]
- A Formal Monitoring-Based Framework for Software Development and AnalysisFeng Chen, Marcelo d Amorim, Grigore Rosu. 357-372 [doi]
- Verifying a File System ImplementationKonstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard. 373-390 [doi]
- Verifying the On-line Help System of SIEMENS Magnetic Resonance TomographsCarsten Sinz, Wolfgang Küchlin. 391-402 [doi]
- Implementing Dynamic Aggregations of Abstract Machines in the B MethodNazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum. 403-417 [doi]
- Formal Proof from UML ModelsNuno Amálio, Susan Stepney, Fiona A. C. Polack. 418-433 [doi]
- Interactive Verification of UML State MachinesMichael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums. 434-448 [doi]
- Refinement of Actions for Real-Time Concurrent Systems with Causal AmbiguityMila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan. 449-463 [doi]
- From Durational Specifications to TLA Designs of Timed AutomataYifeng Chen, Zhiming Liu. 464-482 [doi]
- Timed Patterns: TCOZ to Timed AutomataJin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi. 483-498 [doi]