Pinned Repositories
academic-kickstart
daut
Monitoring framework in Scala.
dejavu
The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.
fme-industry
FME Industry webpage
fomac-k
Paper (Verified Change) on K for the FoMaC journal
havelund.github.io
Homepage
k
The K language
logfire
A Scala DSL (API) for rule-based programming. Designed for monitoring event streams, such as for example log files. Implements a variation of the RETE algorithm.
logscope
Monitoring framework in Python.
tracecontract
A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal logic.
havelund's Repositories
havelund/dejavu
The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.
havelund/tracecontract
A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal logic.
havelund/daut
Monitoring framework in Scala.
havelund/logfire
A Scala DSL (API) for rule-based programming. Designed for monitoring event streams, such as for example log files. Implements a variation of the RETE algorithm.
havelund/k
The K language
havelund/logscope
Monitoring framework in Python.
havelund/academic-kickstart
havelund/fme-industry
FME Industry webpage
havelund/fomac-k
Paper (Verified Change) on K for the FoMaC journal
havelund/havelund.github.io
Homepage
havelund/isola-2016-static-dynamic
Introduction to ISoLA 2016 track: Static and Runtime Verification: Competitors or Friends?
havelund/isola-2016-unified-introduction
Introduction to ISoLA 2016 track: Towards a Unified View on Modeling and Programming
havelund/isola2016-unified
Special article for ISoLA 2016 Track: Towards a Unified View of Modeling and Programming
havelund/ltlrules
An extension of LTL with rules
havelund/pacti
A package for compositional system analysis and design
havelund/refinement-proof
Refinement proof of a garbage collection algorithm
havelund/scalacheck
Property-based testing for Scala
havelund/test