Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

37

POPL
2009
ACM

favoriteEmaildiscussreport

102views Programming Languages» more POPL 2009»

A foundation for flow-based program matching: using temporal logic and model checking

14 years 5 months ago

A foundation for flow-based program matching: using temporal logic and model checking

Download www.irit.fr

Damien Doligez, Gilles Muller, Julia L. Lawall, Ju

Real-time Traffic

POPL 2009 | Programming Languages | Temporal Logic |

claim paper

Related Content

» Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations

» Trio2Promela A Model Checker for Temporal Metric Specifications

» Model Checking Vs Generalized Model Checking Semantic Minimizations for Temporal Logics

» Lazy Theorem Proving for Bounded Model Checking over Infinite Domains

» The ModelChecking Kit

» Modular interpreted systems

» Verifying Temporal Heap Properties Specified via Evolution Logic

» Properties and scopes in web model checking

» Fluent temporal logic for discretetime eventbased models

Post Info
More Details (n/a)

Added	22 Nov 2009
Updated	22 Nov 2009
Type	Conference
Year	2009
Where	POPL
Authors	Damien Doligez, Gilles Muller, Julia L. Lawall, Julien Brunel, René Rydhof Hansen

Comments (0)