1633 search results - page 40 / 327 » On the Verification of Temporal Properties |
FROCOS
2009
Springer
14 years 2 months ago
2009
Springer
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
MPC
2010
Springer
14 years 11 days ago
2010
Springer
ASPDAC
2004
ACM
13 years 11 months ago
2004
ACM
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
PLPV
2012
ACM
12 years 3 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...