Abstract is missing.
- How Can We Make Industry Adopt Formal Methods?Takuya Katayama. 1 [doi]
- Programmers Ain t Mathematicians, and Neither Are TestersJeff Offutt. 2 [doi]
- Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial WorkflowsJohn Hatcliff. 3-4 [doi]
- Specifying and Verifying Event-Based Fairness Enhanced SystemsJun Sun 0001, Yang Liu, Jin Song Dong, Hai H. Wang. 5-24 [doi]
- Modelling and Proof of a Tree-Structured File System in Event-B and RodinKriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial. 25-44 [doi]
- Conformance Testing Based on UML State MachinesDirk Seifert. 45-65 [doi]
- An Approach to Testing with Embedded Context Using Model CheckerLihua Duan, Jessica Chen. 66-85 [doi]
- Requirements Coverage as an Adequacy Measure for Conformance TestingAjitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl. 86-104 [doi]
- Decomposition for Compositional VerificationBjörn Metzler, Heike Wehrheim, Daniel Wonisch. 105-125 [doi]
- A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented ParadigmFlorin Craciun, Shengchao Qin, Wei-Ngan Chin. 126-146 [doi]
- Program Models for Compositional VerificationMarieke Huisman, Irem Aktug, Dilian Gurov. 147-166 [doi]
- A Unified Model Checking Approach with Projection Temporal LogicZhenhua Duan, Cong Tian. 167-186 [doi]
- Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and WritesKazuhiro Ogata, Kokichi Futatsugi. 187-206 [doi]
- Towards Abstraction for DynAlloy SpecificationsNazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis. 207-225 [doi]
- Partial Translation Verification for Untrusted Code-GeneratorsMatthew Staats, Mats Per Erik Heimdahl. 226-237 [doi]
- A Practical Approach to Partiality - A Proof Based ApproachFarhad Mehta. 238-257 [doi]
- A Representative Function Approach to Symmetry Exploitation for CSP Refinement CheckingNick Moffat, Michael Goldsmith, Bill Roscoe. 258-277 [doi]
- Probing the Depths of CSP-M: A New fdr-Compliant Validation ToolMichael Leuschel, Marc Fontaine. 278-297 [doi]
- Practical Automated Partial Verification of Multi-paradigm Real-Time ModelsCarlo A. Furia, Matteo Pradella, Matteo Rossi. 298-317 [doi]
- Specifying and Verifying Sensor Networks: An Experiment of Formal MethodsJin Song Dong, Jing Sun, Jun Sun 0001, Kenji Taguchi, Xian Zhang. 318-337 [doi]
- Correct Channel Passing by ConstructionChao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang. 338-354 [doi]
- A Process Semantics for BPMNPeter Y. H. Wong, Jeremy Gibbons. 355-374 [doi]
- A Formal Descriptive Semantics of UMLLijun Shan, Hong Zhu. 375-396 [doi]