Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540521488, 9783540469056

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Testing equivalence as a bisimulation equivalence

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52148-8_2 ◽

1990 ◽

pp. 11-23 ◽

Cited By ~ 27

Author(s):

Rance Cleaveland ◽

Matthew Hennessy

Keyword(s):

Bisimulation Equivalence ◽

Testing Equivalence

Download Full-text

Specifying, programming and verifying real-time systems using a synchronous declarative language

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52148-8_18 ◽

1990 ◽

pp. 213-231 ◽

Cited By ~ 15

Author(s):

N. Halbwachs ◽

D. Pilaud ◽

F. Ouabdesselam ◽

A-C. Glory

Keyword(s):

Real Time ◽

Real Time Systems ◽

Declarative Language ◽

Time Systems

Download Full-text

MEC : a system for constructing and analysing transition systems

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52148-8_11 ◽

1990 ◽

pp. 117-132 ◽

Cited By ~ 19

Author(s):

André Arnold

Keyword(s):

Transition Systems

Download Full-text

Implementing a model checking algorithm by adapting existing automated tools

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52148-8_15 ◽

1990 ◽

pp. 179-188 ◽

Cited By ~ 7

Author(s):

Bengt Jonsson ◽

Ahmed Hussain Khan ◽

Joachim Parrow

Keyword(s):

Model Checking ◽

Automated Tools

Download Full-text

Proving properties of elementary net systems with a special-purpose theorem prover

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52148-8_9 ◽

1990 ◽

pp. 97-104 ◽

Cited By ~ 1

Author(s):

Heikki Tuominen

Keyword(s):

Theorem Prover

Download Full-text

A method for verification of trace and test equivalence

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52148-8_7 ◽

1990 ◽

pp. 81-88 ◽

Cited By ~ 1

Author(s):

Ivan Christoff

Download Full-text

Verification by abstraction and bisimulation

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52148-8_10 ◽

1990 ◽

pp. 105-116 ◽

Cited By ~ 2

Author(s):

Han Zuidweg

Download Full-text

Verification of synchronous sequential machines based on symbolic execution

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52148-8_30 ◽

1990 ◽

pp. 365-373 ◽

Cited By ~ 115

Author(s):

Olivier Coudert ◽

Christian Berthet ◽

Jean Christophe Madre

Keyword(s):

Symbolic Execution ◽

Sequential Machines

Download Full-text

Fair SMG and linear time model checking

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52148-8_12 ◽

1990 ◽

pp. 133-150 ◽

Cited By ~ 4

Author(s):

Howard Barringer ◽

Michael D. Fisher ◽

Graham D. Gough

Keyword(s):

Model Checking ◽

Linear Time ◽

Time Model

Download Full-text

Formal verification of synchronous circuits based on string-functional semantics: The 7 paillet circuits in boyer-moore

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52148-8_27 ◽

1990 ◽

pp. 317-333 ◽

Cited By ~ 2

Author(s):

Alexandre Bronstein ◽

Carolyn L. Talcott

Keyword(s):

Formal Verification ◽

Synchronous Circuits

Download Full-text

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Testing equivalence as a bisimulation equivalence

Specifying, programming and verifying real-time systems using a synchronous declarative language

MEC : a system for constructing and analysing transition systems

Implementing a model checking algorithm by adapting existing automated tools

Proving properties of elementary net systems with a special-purpose theorem prover

A method for verification of trace and test equivalence

Verification by abstraction and bisimulation

Verification of synchronous sequential machines based on symbolic execution

Fair SMG and linear time model checking

Formal verification of synchronous circuits based on string-functional semantics: The 7 paillet circuits in boyer-moore

Automatic Verification Methods for Finite State Systems - Lecture Notes in Computer Science
Latest Publications