i-Abstract The role of medical protocols is becoming more and more important in the medical field. Within the Protocure project it has been shown that the quality of medical protocols can be improved by formalization, something much easier said than done. The formalization turns out to be a very time-consuming task resulting in a formal protocol that is much more complex than the original versi...

Formal Methods are becoming more an more important for the development of hardware and software systems. Verification tools support the employment of Formal Methods. This paper gives an overview of the design and implementation of the verification tool Truth. We define and explain requirements for verification tools. Furthermore, we discuss several semantic models, specification languages and l...

Formal verification methods fall in one of three categories: theorem proving, decision diagrams based methods and symbolic simulation. In this work, we focus on combining the first two categories. In theorem proving methods, the design’s behavior as well as its structure are described in some formal logic. Then the design structure is proved to conform to the expected behavior using a set of ax...

This paper presents a tool for creating and visualising formal concept trees. The concept tree provides an alternative visualisation to the more commonly known concept lattice. The tool described here is an extension of the In-Close formal concept mining program, where concepts are output in a format that can be visualised in a Web Browser using the Collapsible Tree Layout from the D3.js JavaSc...

This paper presents Web Service Analysis Tool (WSAT), a tool for analyzing and verifying composite web service designs, with the state of the art model checking techniques. Web services are loosely coupled distributed systems communicating via XML messages. Communication among web services is asynchronous, and it is supported by messaging platforms such as JMS which provide FIFO queues to store...

This paper discusses the negotiation-collaboration process: a binomial process mixing collaboration, negotiation and argumentation. We applied the negotiation-collaboration process to Formal Technical Reviews, commonly adopted to verify the functional specification of software. We developed a groupware tool demonstrating the dynamic of the negotiation-collaboration process in Formal Technical R...

We present a formal approach for the analysis of attacks that exploit SQLi to violate security properties of web applications. We give a formal representation of web applications and databases, and show that our formalization effectively exploits SQLi attacks. We implemented our approach in a prototype tool called SQLfast and we show its efficiency on four real-world case studies, including the...

This paper describes the lessons learned from an application of formal specification techniques in the development of a security-critical system within a UK company. The authors advocate the gradual introduction of formal methods, beginning with an appreciation of existing development processes, and discuss the rôle played by non-software professionals, executable specifications, formal proof, ...