Formal Methods Europe

Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1993-2013
01219932013

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
After decades of research, and despite significant advancement, formal methods are still not widely used in industrial software… (More)
Is this relevant?
2009
2009
We introduce a condition for the verification of properties in component-based systems that allows for components with variants… (More)
  • figure 3
  • figure 3
Is this relevant?
2008
2008
This paper addresses the relationship between the theorems derived in two logics that provide alternative ways of reasoning about… (More)
  • figure 1
Is this relevant?
2007
2007
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real… (More)
  • figure 1
  • figure 5
Is this relevant?
2005
2005
  • FM
  • 2005
It's coming again, the new collection that this site has. To complete your curiosity, we offer the favorite fm 2005 formal… (More)
Is this relevant?
1998
1998
  • 1998
Apologies to all our readers for the interruption in publication. Hopefully, we are now back on track, with a new editorial team… (More)
Is this relevant?
1997
1997
Thank you very much for downloading fme 97 industrial applications and strengthened foundations of formal methods 4th… (More)
Is this relevant?
1996
1996
  • Lecture Notes in Computer Science
  • 1996
 
Is this relevant?
1994
1994
  • Lecture Notes in Computer Science
  • 1994
 
Is this relevant?
1993
1993
  • Lecture Notes in Computer Science
  • 1993
 
Is this relevant?