A Metaprogramming Framework for Formal Verification

Proceedings of the ACM on Programming Languages
doi 10.1145/3110278
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation

IEEE Transactions on Software Engineering
Software
2002English

Formal Framework for Automated Analysis and Verification of Web-Based Applications

English

Formal Modeling and Verification for MVB

Journal of Applied Mathematics
Applied Mathematics
2013English

Eiffel as a Framework for Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Towards a Formal Framework for Computational Trust

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

A Formal Framework for Specifying Concurrent Systems

International Journal of Computer Applications
2013English

Formal Verification of Privacy for RFID Systems

2010English

Formal Specification and Verification

2019English

Formal Semantics and Verification for Feature Modeling

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy