scientific article; zbMATH DE number 1796145
From MaRDI portal
Publication:4551165
zbMath0991.68645MaRDI QIDQ4551165
Mihaela Sighireanu, Aurore Annichini, Ahmed Bouajjani
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020368
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (17)
Forward analysis and model checking for trace bounded WSTS ⋮ Learning to verify branching time properties ⋮ A survey of timed automata for the development of real-time systems ⋮ Verification of Flat FIFO Systems ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ Forward Analysis and Model Checking for Trace Bounded WSTS ⋮ Programs with lists are counter automata ⋮ Reachability in Timed Counter Systems ⋮ Quantitative separation logic and programs with lists ⋮ TREX ⋮ Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables ⋮ Flatness and Complexity of Immediate Observation Petri Nets ⋮ Unnamed Item ⋮ How to Tackle Integer Weighted Automata Positivity ⋮ Verification of programs with half-duplex communication ⋮ Linear parametric model checking of timed automata ⋮ Flat Petri nets (invited talk)
Uses Software
This page was built for publication:
