English

Platform Dependent Verification: On Engineering Verification Tools for 21st Century

Software Engineering 2011-11-03 v1 Logic in Computer Science
Authors: Luboš Brim , Jiří Barnat
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

The paper overviews recent developments in platform-dependent explicit-state LTL model checking.

Keywords

formal verification

Cite

@article{arxiv.1111.0368,
  title  = {Platform Dependent Verification: On Engineering Verification Tools for 21st Century},
  author = {Luboš Brim and Jiří Barnat},
  journal= {arXiv preprint arXiv:1111.0368},
  year   = {2011}
}

Comments

In Proceedings PDMC 2011, arXiv:1111.0064

Related papers

View all related →
Logic in Computer Science · Computer Science
Collaborative Verification-Driven Engineering of Hybrid Systems
Stefan Mitsch, Grant Olney Passmore, Andre Platzer
2015-05-27
Logic in Computer Science · Computer Science
A Scalable Approach for Hardware Semiformal Verification
Tomas Grimm, Djones Lettnin, Michael Hübner
2018-02-12
Software Engineering · Computer Science
Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
Norbert Tihanyi, Tamas Bisztray, Mohamed Amine Ferrag, Bilel Cherif +3
2025-03-17
Software Engineering · Computer Science
Verified System Development with the AutoFocus Tool Chain
Maria Spichkova, Florian Hölzl, David Trachtenherz
2012-07-11
Software Engineering · Computer Science
Distributed CTL Model Checking in the Cloud
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
2015-02-16
Software Engineering · Computer Science
A Survey on Formal Verification Approaches for Dependable Systems
Fayhaa Hameedi Khlaif, Shawkat Sabah Khairullah
2022-04-28
Software Engineering · Computer Science
Formal Dependability Modeling and Analysis: A Survey
Waqar Ahmed, Osman Hasan, Sofiene Tahar
2016-06-23
Software Engineering · Computer Science
Lessons from Formally Verified Deployed Software Systems (Extended version)
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer +1
2026-01-21
Artificial Intelligence · Computer Science
Verification for Machine Learning, Autonomy, and Neural Networks Survey
Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez +4
2018-10-05
Computation and Language · Computer Science
Claim Verification in the Age of Large Language Models: A Survey
Alphaeus Dmonte, Roland Oruche, Marcos Zampieri, Prasad Calyam +1
2025-02-12
Formal Languages and Automata Theory · Computer Science
What is Formal Verification without Specifications? A Survey on mining LTL Specifications
Daniel Neider, Rajarshi Roy
2025-01-28
Logic in Computer Science · Computer Science
AutoHyper: Explicit-State Model Checking for HyperLTL
Raven Beutner, Bernd Finkbeiner
2023-01-27
Programming Languages · Computer Science
Automatic Verification of LLVM Code
Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
2020-06-05
Formal Languages and Automata Theory · Computer Science
Model Learning: A Survey on Foundation, Tools and Applications
Shahbaz Ali, Hailong Sun, Yongwang Zhao
2019-01-08
Software Engineering · Computer Science
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Yilong Yang, Xiaoshan Li, Quan Zu
2019-02-19
Logic in Computer Science · Computer Science
Tools at the Frontiers of Quantitative Verification
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka +19
2024-05-24
Programming Languages · Computer Science
Type-level Property Based Testing
Thomas Ekström Hansen, Edwin Brady
2024-07-18
Software Engineering · Computer Science
Formal Verification, Engineering and Business Value
Ralf Huuck
2013-01-03
Software Engineering · Computer Science
A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL
Eun-Young Kang
2019-03-18
Logic in Computer Science · Computer Science
Equivalence-Checking on Infinite-State Systems: Techniques and Results
Antonin Kucera, Petr Jancar
2007-05-23
Logic in Computer Science · Computer Science
QED at Large: A Survey of Engineering of Formally Verified Software
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric +1
2020-03-17
Software Engineering · Computer Science
A tlm-based platform to specify and verify component-based real-time systems
Mostafavi Amjad Davoud, Zolfy Lighvan Mina
2014-05-01
Software Engineering · Computer Science
TDD for Embedded Systems: A Basic Approach and Toolset
Rogerio Atem de Carvalho, Hudson Silva, Rafael Ferreira Toledo, Milena Silveira de Azevedo
2015-08-05
Software Engineering · Computer Science
Formally Verifying a Real World Smart Contract
Alexandre Mota, Fei Yang, Cristiano Teixeira
2023-07-06
Software Engineering · Computer Science
A Systematic Literature Review on a Decade of Industrial TLA+ Practice
Roman Bögli, Leandro Lerena, Christos Tsigkanos, Timo Kehrer
2024-11-22
R2 v1 2026-06-21T19:29:26.092Z