Extensions to the CEGAR approach on Petri nets

QR kód

Extensions to the CEGAR approach on Petri nets

Formal verification is becoming more prevalent and often compulsory in the safety-critical system and software development processes. Reachability analysis can provide information about safety and invariant properties of the developed system. However, checking the reachability is a computationally h...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Hajdu Ákos Vörös András Bartha Tamás Mártonka Zoltán
Testületi szerző:	Symposium on Programming Languages and Software Tools (2013) (Szeged)
Dokumentumtípus:	Cikk
Megjelent:	2014
Sorozat:	Acta cybernetica 21 No. 3
Kulcsszavak:	Számítástechnika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
doi:	10.14232/actacyb.21.3.2014.8
Online Access:	http://acta.bibl.u-szeged.hu/34476

Hasonló tételek

Optimal trajectory generation for Petri nets
Szerző: Gyapay Szilvia, et al.
Megjelent: (2005)

Use of Petri nets for performance evaluation
Szerző: Sifakis J.
Megjelent: (1979)

On a normal form of Petri nets
Szerző: Țiplea Ferucio Laurenţiu, et al.
Megjelent: (1996)

Limited codes associated with Petri nets
Szerző: Tanaka Genjiro
Megjelent: (2009)

A note on decidability of reachability for conditional Petri nets
Szerző: Țiplea Ferucio Laurenţiu, et al.
Megjelent: (2000)

Experiences in modelling feature interactions with Coloured Petri Nets
Szerző: Lorentsen Louise, et al.
Megjelent: (2002)

Operation research methods in Petri net-based analysis of IT system [abstract] /
Szerző: Gyapay Szilvia
Megjelent: (2002)

Petri net controlled grammars with a bounded number of additional places
Szerző: Dassow Jürgen, et al.
Megjelent: (2010)

Fuzzy extension of datalog
Szerző: Achs Ágnes, et al.
Megjelent: (1995)

XML semantics extension
Szerző: Havasi Ferenc
Megjelent: (2002)

Extension of Java with Turtle graphics [abstract] /
Szerző: Putnik Zoran, et al.
Megjelent: (2000)

Uniform computation of complexity metrics in the .NET platform [abstract] /
Szerző: Sillye Ádám, et al.
Megjelent: (2004)

Semantic web services in .NET aspect [abstract] /
Szerző: Farkas Péter, et al.
Megjelent: (2004)

Language extension in the HLP/SZ system
Szerző: Simon E.
Megjelent: (1985)

ImageNet pretraining for medical image segmentation enhancing efficiency via transferability metrics : [abstract] /
Szerző: Hidy Gábor, et al.
Megjelent: (2024)

Extensions and applicability of the membership driven reasoning scheme [abstract] /
Szerző: Gera Zsolt
Megjelent: (2006)

On the computation of union-extensions of finite semigroups
Szerző: Bröck R., et al.
Megjelent: (1973)

Models for predicting the performance of ASP.NET web applications [abstract] /
Szerző: Bogárdi-Mészöly Ágnes, et al.
Megjelent: (2006)

On some extensions of indian parallel context free grammars
Szerző: Dassow Jürgen
Megjelent: (1980)

On some extensions of russian parallel context free grammars
Szerző: Dassow Jürgen
Megjelent: (1984)

An approach to automata schemes synthesis
Szerző: Podkolzin Aleksandr Sergeevič, et al.
Megjelent: (1988)

An approach for compacting XMI documents
Szerző: Kálmán Miklós
Megjelent: (2005)

Methods for retrieving and investigating performance factors in ASP.NET web applications [abstract] /
Szerző: Bogárdi-Mészöly Ágnes, et al.
Megjelent: (2006)

A new approach to neural network design [abstract] /
Szerző: Péter András, et al.
Megjelent: (1998)

On the Bayesian approach to optimal performance of page storage hierarchies
Szerző: Benczúr András, et al.
Megjelent: (1977)

The n-distinguishable-queens problem, an extension of a classical AI problem [abstract] /
Szerző: Fülöp Endre
Megjelent: (1998)

Novel U-net based deep neural networks for transmission tomography
Szerző: Olasz Csaba, et al.
Megjelent: (2022)

A new approach to defining software complexity measures
Szerző: Daróczy Zoltán, et al.
Megjelent: (1988)

Different methodological approaches of game theory [absztrakt] /
Szerző: Kuba Péter
Megjelent: (2009)

A formal approach to design patterns [abstract] /
Szerző: Szász Péter
Megjelent: (1998)

Using the fisher vector approach for cold identification
Szerző: Egas-López José Vicente, et al.
Megjelent: (2021)

Improving content management - a semantic approach
Szerző: Kovács Barna
Megjelent: (2008)

Joint optimization of spectro-temporal features and deep neural nets for robust automatic speech recognition
Szerző: Kovács György, et al.
Megjelent: (2015)

Optimal platform to develop features for Ad Hoc extension of 4G mobile networks [abstract] /
Szerző: Horváth Cz. János, et al.
Megjelent: (2002)

Approaches to improve macula detection in retinal images [abstract] /
Szerző: Antal Bálint
Megjelent: (2010)

A fuzzy approach for mining quantitative association rules
Szerző: Gyenesei Attila
Megjelent: (2001)

Automaton theory approach for solving modified PNS problems
Szerző: Imreh Balázs
Megjelent: (2002)

An approach based on genetic algorithms for clustering classes in components
Szerző: Jişa Dan Laurenţiu
Megjelent: (2005)

Protocol state machine reverse engineering with a teaching-learning approach
Szerző: Székely Gábor, et al.
Megjelent: (2021)

A formal approach for clustering classes in software components [abstract] /
Szerző: Jişa Dan Laurenţiu
Megjelent: (2004)