Integrated formal methods

Meer over het boek

The fourth international conference on Integrated Formal Methods took place in Canterbury, UK, from April 4–7, 2004, organized by the Computing Laboratory at the University of Kent. Located just outside the historic town of Canterbury, the university overlooks its famous cathedral and has been a prominent institution since receiving its Royal Charter in 1965. With nearly 10,000 students from over 110 nationalities, the university serves as a vibrant academic community. The IFM meetings have gained significant traction since their inception, with the first conference held in York in 1999, followed by events in Germany and Finland. These conferences, occurring approximately every 18 months, attract diverse participants from Europe, the Americas, Asia, and Australia, establishing themselves as a key fixture in the formal methods calendar. This year's conference showcased an increased focus on verification, reflecting the ongoing challenges in the field. The work presented at IFM is part of a broader effort to manage complexity by integrating various specification and design paradigms, ensuring the most suitable design tools are utilized at different stages of the development life-cycle.