Dynamically inferring temporal properties

J Yang, D Evans - Proceedings of the 5th ACM SIGPLAN-SIGSOFT …, 2004 - dl.acm.org
Model checking requires a specification of the target system's desirable properties, some of
which are temporal. Formulating a temporal property of the system based on either its …
被引用次数：87 相关文章
[PDF] virginia.edu

[PDF][PDF] Dynamically Inferring Temporal Properties

J Yang, D Evans - cs.virginia.edu
Model checking requires a specification of the target system's desirable properties, some of
which are temporal. Formulating a temporal property of the system based on either its …
[PDF] archive.org

[PDF][PDF] Dynamically Inferring Temporal Properties

J Yang, D Evans - scholar.archive.org
Model checking requires a specification of the target system's desirable properties, some of
which are temporal. Formulating a temporal property of the system based on either its …
[PDF] psu.edu

[PDF][PDF] Dynamically Inferring Temporal Properties

J Yang, D Evans - 2004 - Citeseer
Model checking requires a specification of the target system's desirable properties, some of
which are temporal. Formulating a temporal property of the system based on either its …
[PDF] academia.edu

[PDF][PDF] Dynamically Inferring Temporal Properties

J Yang, D Evans - 2004 - academia.edu
Model checking requires a specification of the target system's desirable properties, some of
which are temporal. Formulating a temporal property of the system based on either its …
[PDF] psu.edu

[PDF][PDF] Dynamically Inferring Temporal Properties

J Yang, D Evans - Citeseer
Model checking requires a specification of the target system's desirable properties, some of
which are temporal. Formulating a temporal property of the system based on either its …