Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | Zendy

Scott Cotton | Zendy; Eugene Asarin | Zendy; Oded Maler | Zendy; Peter Niebert | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Author(s) -

Scott Cotton,

Eugene Asarin,

Oded Maler,

Peter Niebert

Publication year - 2004

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/b100824

Subject(s) - computer science , automaton , pointwise , temporal logic , semantics (computer science) , theoretical computer science , operator (biology) , model checking , timed automaton , algorithm , programming language , mathematics , mathematical analysis , biochemistry , chemistry , repressor , transcription factor , gene

International audienceIn this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integration of the incremental analysis of numerical conflicts with the process of Boolean conflict analysis. This and other improvements lead to significant performance gains for some classes of problems

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research