Intelligent Systems and Formal Methods in Software Engineering

Authors:
Bernhard Beckert;Tony Hoare;Reiner Hahnle;Douglas R. Smith;Cordell Green;Silvio Ranise;Cesare Tinelli;Thomas Ball;Sriram K. Rajamani
Affiliations:
University of Koblenz;Microsoft Research;University of Koblenz;Kestrel Institute;Kestrel Institute;INRIA;University of Iowa;Microsoft Research;Microsoft Research
Venue:
IEEE Intelligent Systems
Year:
2006

Citing 7
Cited 5

Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach
Deciding Separation Formulas with SAT

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A rewriting approach to satisfiability procedures

Information and Computation - RTA 2001
Thorough static analysis of device drivers

Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Recovering device drivers

OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Verification of object-oriented software: The KeY approach

Verification of object-oriented software: The KeY approach
Interactive testing with HOL-TestGen

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing

A systematic review of UML model consistency management

Information and Software Technology
Automated verification of refinement laws

Annals of Mathematics and Artificial Intelligence
A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures

Service Oriented Computing and Applications
An iterative requirements engineering framework based on Formal Concept Analysis and C-K theory

Expert Systems with Applications: An International Journal
Translation of Z specifications to executable code: Application to the database domain

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Formal methods in software engineering are an increasingly important application area for intelligent systems. The field has outgrown the area of academic case studies, and industry is showing serious interest. This installment of Trends & Controversies looks at the state of the art in formal methods and discusses the developments that make successful applications possible.