finite state verification Latest Research Papers

Bounds: From Parameterised to Finite-State Verification

2011 Eleventh International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2011.24 ◽

2011 ◽

Cited By ~ 2

Author(s):

Antti Siirtola

Keyword(s):

Finite State ◽

Finite State Verification

Download Full-text

Finite-state verification of the ebXML protocol

Electronic Commerce Research and Applications ◽

10.1016/j.elerap.2005.09.002 ◽

2006 ◽

Vol 5 (2) ◽

pp. 147-169 ◽

Cited By ~ 1

Author(s):

Marina Mongiello

Keyword(s):

Finite State ◽

Finite State Verification

Download Full-text

Managing space for finite-state verification

Proceeding of the 28th international conference on Software engineering - ICSE '06 ◽

10.1145/1134285.1134308 ◽

2006 ◽

Author(s):

Jianbin Tan ◽

George S. Avrunin ◽

Lori A. Clarke

Keyword(s):

Finite State ◽

Finite State Verification

Download Full-text

Tool-supported program abstraction for finite-state verification

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 ◽

10.1109/icse.2001.919092 ◽

2005 ◽

Cited By ~ 34

Author(s):

M.B. Dwyer ◽

J. Hatcliff ◽

R. Joehanes ◽

S. Laubach ◽

C.S. Pasreanu ◽

...

Keyword(s):

Finite State ◽

Finite State Verification

Download Full-text

The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 ◽

10.1109/icse.2001.919079 ◽

2005 ◽

Cited By ~ 7

Author(s):

J.M. Cobleigh ◽

L.A. Clarke ◽

L.J. Ostenveil

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Finite State ◽

The Right ◽

Finite State Verification

Download Full-text

Finite-state verification for high performance computing

Proceedings of the second international workshop on Software engineering for high performance computing system applications - SE-HPCS '05 ◽

10.1145/1145319.1145340 ◽

2005 ◽

Cited By ~ 2

Author(s):

George S. Avrunin ◽

Stephen F. Siegel ◽

Andrew R. Siegel

Keyword(s):

High Performance Computing ◽

High Performance ◽

Finite State ◽

Finite State Verification ◽

Performance Computing

Download Full-text

FLAVERS: A finite state verification technique for software systems

IBM Systems Journal ◽

10.1147/sj.411.0140 ◽

2002 ◽

Vol 41 (1) ◽

pp. 140-165 ◽

Cited By ~ 27

Author(s):

J. M. Cobleigh ◽

L. A. Clarke ◽

L. J. Osterweil

Keyword(s):

Software Systems ◽

Finite State ◽

Finite State Verification

Download Full-text

Finite state verification (abstract only)

ACM SIGSOFT Software Engineering Notes ◽

10.1145/347636.348946 ◽

2000 ◽

Vol 25 (5) ◽

pp. 146-146

Author(s):

Lori A. Clarke

Keyword(s):

Finite State ◽

Finite State Verification

Download Full-text

Adapting programming languages technologies for finite-state verification

ACM SIGSOFT Software Engineering Notes ◽

10.1145/340855.340885 ◽

2000 ◽

Vol 25 (1) ◽

pp. 46-49

Author(s):

Matthew B. Dwyer ◽

John Hatcliff

Keyword(s):

Programming Languages ◽

Finite State ◽

Finite State Verification

Download Full-text

Finite state verification (abstract only)

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 ◽

10.1145/347324.348946 ◽

2000 ◽

Author(s):

Lori A. Clarke

Keyword(s):

Finite State ◽

Finite State Verification

Download Full-text

finite state verification
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Bounds: From Parameterised to Finite-State Verification

Finite-state verification of the ebXML protocol

Managing space for finite-state verification

Tool-supported program abstraction for finite-state verification

The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification

Finite-state verification for high performance computing

FLAVERS: A finite state verification technique for software systems

Finite state verification (abstract only)

Adapting programming languages technologies for finite-state verification

Finite state verification (abstract only)

Export Citation Format

finite state verificationRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Bounds: From Parameterised to Finite-State Verification

Finite-state verification of the ebXML protocol

Managing space for finite-state verification

Tool-supported program abstraction for finite-state verification

The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification

Finite-state verification for high performance computing

FLAVERS: A finite state verification technique for software systems

Finite state verification (abstract only)

Adapting programming languages technologies for finite-state verification

Finite state verification (abstract only)

finite state verification
Recently Published Documents