scientific article; zbMATH DE number 1796145

MaRDI QIDQ4551165zbMATH OpenFDO

Authors Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu

Publication date 4 September 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2102/21020368

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• About \textsc{Fast} and \textsc{TReX} accelerations
• scientific article; zbMATH DE number 1962849
• Computer Science Logic
• scientific article; zbMATH DE number 1507209
• Computer Science Logic

Cited in

(18)

• TREX
• Linear parametric model checking of timed automata
• Flat Petri nets (invited talk)
• Verification of programs with half-duplex communication
• Learning to verify branching time properties
• Forward analysis and model checking for trace bounded WSTS
• Tyrolean Complexity Tool: Features and Usage.
• Forward analysis and model checking for trace bounded WSTS
• Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
• How to Tackle Integer Weighted Automata Positivity
• A survey of timed automata for the development of real-time systems
• Parameter synthesis for hierarchical concurrent real-time systems
• Flatness and Complexity of Immediate Observation Petri Nets
• Verification of flat FIFO systems
• Reachability in timed counter systems
• Programs with lists are counter automata
• Verification of Flat FIFO Systems
• Quantitative separation logic and programs with lists

Describes a project that uses

Uses Software

• HyTech
• InVeSt
• REDUCE
• SPIN
• SMV
• CADP

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4551165)