Home
Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
BME Logo

Primary Links

  • Home
  • Events
  • Education
    • Critical Embedded Systems
    • System Modelling
    • Software and Systems Verification
    • Formal Methods
    • Software Verification and Validation
  • Research
    • Research Directions
    • Application Areas
    • Projects
    • Tools
  • Publications
    • Authors
    • Keywords
  • About Us
    • Members
    • Location
    • Partners and Sponsors
Eclipse alapú technológiák - Hírek › ›

saturation

Component-wise Incremental LTL Model Checking

  • Component-wise abstraction
  • Incremental algorithm
  • LTL
  • saturation
  • SCC computation
  • Symbolic model checking
Molnár, V., Vörös, A., Darvas, D., Bartha, T., and Majzik, I., "Component-wise Incremental LTL Model Checking", Formal Aspects of Computing, vol. 28, issue 3: Springer, pp. 345-379, 05/2016.
PDF: 
application/pdf iconFull text
  • BibTex

Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking

  • coloured Petri net
  • formal methods
  • model checking
  • safety systems
  • saturation
Bartha, T., Vörös, A., Jámbor, A., and Darvas, D., "Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking", Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012), Budapest, Hungary, Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI), 10/2012.
PDF: 
application/pdf iconFull text
  • BibTex

Bounded saturation-based CTL model checking

  • bounded model checking
  • Computation Tree Logic
  • Multiple-valued Decision Diagram
  • saturation
  • temporal logic
Vörös, A., Darvas, D., and Bartha, T., "Bounded saturation-based CTL model checking", Proceedings of the Estonian Academy of Sciences, vol. 62, issue 1, pp. 12, 03/2013.
PDF: 
application/pdf iconFull text
  • BibTex
Syndicate content

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login

Leírások

  • Submitting homework and lab assignments
  • IT Services
  • Egyéb leírások

Navigation

  • Conference materials

  • Sitemap
  • Location
  • Contact Webmaster