Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Healfdene Goguen |
Soundness of the Logical Framework for Its Typed Operational Semantics. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Cornelia Pusch |
Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Peter Vojtás, Leonard Paulík |
Soundness and Completeness of Non-classical SLD-Resolution. |
ELP |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Sophia Drossopoulou, Adrian Francalanza, Peter Müller 0001, Alexander J. Summers |
A Unified Framework for Verification Techniques for Object Invariants. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Saurabh Panjwani |
Tackling Adaptive Corruptions in Multicast Encryption Protocols. |
TCC |
2007 |
DBLP DOI BibTeX RDF |
Adaptive Corruptions, Selective Decryption, Multicast, Encryption |
21 | Xinyu Feng 0001, Rodrigo Ferreira, Zhong Shao |
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jan Mendling, Wil M. P. van der Aalst |
Formalization and Verification of EPCs with OR-Joins Based on State and Context. |
CAiSE |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Dana Moshkovitz, Ran Raz |
Sub-constant error low degree test of almost-linear size. |
STOC |
2006 |
DBLP DOI BibTeX RDF |
plane vs. point test, probabilistically checkable proofs, locally testable codes, low degree testing |
21 | Aditya Kanade, Amitabha Sanyal, Uday P. Khedker |
A PVS Based Framework for Validating Compiler Optimizations. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Daniele Micciancio, Saurabh Panjwani |
Adaptive Security of Symbolic Encryption. |
TCC |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Ran Canetti, Shai Halevi, Michael Steiner 0001 |
Hardness Amplification of Weakly Verifiable Puzzles. |
TCC |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Mathieu Baudet, Véronique Cortier, Steve Kremer |
Computationally Sound Implementations of Equational Theories Against Passive Adversaries. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Juliane Dehnert, Armin Zimmermann |
On the Suitability of Correctness Criteria for Business Process Models. |
Business Process Management |
2005 |
DBLP DOI BibTeX RDF |
Validation of business process models, Petri nets, Workflow |
21 | Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone |
Magic Sets and Their Application to Data Integration. |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Joël Alwen, Giuseppe Persiano, Ivan Visconti |
Impossibility and Feasibility Results for Zero Knowledge with Public Keys. |
CRYPTO |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Lars Engebretsen, Jonas Holmerin |
Three-Query PCPs with Perfect Completeness over non-Boolean Domains. |
CCC |
2003 |
DBLP DOI BibTeX RDF |
|
21 | David Aspinall 0001, Martin Hofmann 0001 |
Another Type System for In-Place Update. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Elena Machkasova, Franklyn A. Turbak |
A Calculus for Link-Time Compilation. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
21 | K. Rustan M. Leino |
Recursive Object Types in a Logic of Object-Oriented Programs. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Peter Yastrebenetsky, Mark B. Trakhtenbrot |
Analysis of Applicability for Synchronization Complexity Metric. |
ECBS |
2011 |
DBLP DOI BibTeX RDF |
synchronization complexity analysis, practical applicability, soundness |
17 | Philip W. L. Fong |
Preventing Sybil Attacks by Privilege Attenuation: A Design Principle for Social Network Systems. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
Principle of Privilege Attenuation, completeness of static analysis, access control, soundness, Sybil attacks, social network systems |
17 | Akhil Kumar 0001, Anup K. Sen, Meda H. Sundari, Amitava Bagchi |
Semantic Notions of Weakly Correct AND/XOR Business Workflows Based on Partial Synchronization. |
IEEE SCC |
2011 |
DBLP DOI BibTeX RDF |
AND/XOR graphs, s-correctness, partial synchronization, corresponding pairs, r-soundness |
17 | Kanhai Shah, Boleslaw Mikolajczak |
Careflow System with Case-Handling Flexibility - Case Study of Gastric Cancer. |
ITNG |
2010 |
DBLP DOI BibTeX RDF |
careflow soundness, medical guidelines, workflow flexibility, Yasper, InfoPath |
17 | Sa'ed Abed, Otmane Aït Mohamed |
MDGs Reduction Technique Based on the HOL Theorem Prover. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Soundness, Reduction Techniques, Multiway Decision Graphs, HOL Theorem Prover |
17 | Wouter Teepe |
On BAN logic and hash functions or: how an unjustified inference rule causes problems. |
Auton. Agents Multi Agent Syst. |
2009 |
DBLP DOI BibTeX RDF |
Two parrots protocol, Security protocol, Soundness, Cryptographic hash function, BAN logic |
17 | Mirko Malekovic, Mirko Cubrilo, Kornelije Rabuzin |
Logical Consequences in Partial Knowledge Bases. |
Towards Intelligent Engineering and Information Technology |
2009 |
DBLP DOI BibTeX RDF |
partial knowledge bases, dependencies, completeness, soundness, inference rules, formal systems, logical consequences |
17 | Irit Dinur, Prahladh Harsha |
Composition of Low-Error 2-Query PCPs Using Decodable PCPs. |
FOCS |
2009 |
DBLP DOI BibTeX RDF |
locally decodable, low soundness error, composition, PCP |
17 | Matteo Magnani, Danilo Montesi |
Towards Relational Schema Uncertainty. |
SUM |
2009 |
DBLP DOI BibTeX RDF |
uncertainty, completeness, soundness, schema, possible worlds |
17 | Peng Sun, Ziyang Liu 0001, Susan B. Davidson, Yi Chen 0001 |
Detecting and resolving unsound workflow views for correct provenance analysis. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
workflow, view, provenance, soundness |
17 | Shengli Zhang, Zhenghua Pan |
One New Interpretation of Infinite Valued for Medium Proposition Logic. |
FSKD (6) |
2009 |
DBLP DOI BibTeX RDF |
medium proposition logic, three-valued model, infinite-valued model, completeness and soundness |
17 | Chenguang Luo, Shengchao Qin, Zongyan Qiu |
Verifying BPEL-like programs with Hoare logic. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
compensation mechanism, axiomatic verification system, operational semantics, soundness, WS-BPEL |
17 | Ando Saabas, Tarmo Uustalu |
Proof optimization for partial redundancy elimination. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
program proof transformation, soundness and improvement of dataflow analyses and optimizations, type systems, proof-carrying code, partial redundancy elimination |
17 | Wil M. P. van der Aalst |
Discovery, Verification and Conformance of Workflows with Cancellation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
Reset Nets, Verification, Petri Nets, Soundness, Process Mining |
17 | Stephen Tse, Steve Zdancewic |
Run-time principals in information-flow type systems. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Decentralized label model, dynamic principals, run-time principals, security-typed language, type systems, information-flow, soundness, noninterference |
17 | Arthur Charlesworth |
Comprehending software correctness implies comprehending an intelligence-related limitation. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Peano arithmetic, Zermelo-Fraenkel set theory, infallibility, partial correctness, Agent, consistency, soundness, Hoare logic, Turing machine, limitation, formal proof, halting problem |
17 | Michael Backes 0001, Birgit Pfitzmann, Michael Waidner |
Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Dolev-Yao, Symmetric authentication, Computational soundness |
17 | Prateek Gupta, Vitaly Shmatikov |
Towards computationally sound symbolic analysis of key exchange protocols. |
FMSE |
2005 |
DBLP DOI BibTeX RDF |
protocol logic, cryptographic protocols, symbolic analysis, computational soundness |
17 | Hasan M. Jamil, Gillian Dobbie |
On Logical Foundations of Multilevel Secure Databases. |
J. Intell. Inf. Syst. |
2004 |
DBLP DOI BibTeX RDF |
MLS databases, belief assertion, inheritance and overriding, security, reasoning, deductive databases, declarative language, soundness and completeness |
17 | Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt |
Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
Agent logic, knowledge, decidability, commitments, actions, dynamic logic, multi-modal logic, abilities, soundness and completeness |
17 | Morten Rhiger |
A foundation for embedded languages. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
phantom types, Haskell, completeness, Standard ML, type safety, higher-order abstract syntax, Embedded languages, type soundness |
17 | Luigi Di Lascio |
Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
cut rule, fuzzy prepositional logic, galois relation, pavelka semantics, completeness, soundness, MV-algebra, tableaux |
17 | Russell Greiner, Christian Darken, N. Iwan Santoso |
Efficient reasoning. |
ACM Comput. Surv. |
2001 |
DBLP DOI BibTeX RDF |
efficiency trade-offs, soundness/completeness/expressibility |
17 | Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott |
A Control-Flow Analysis for a Calculus of Concurrent Objects. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
prototype-based, Concurrency, object-oriented, soundness, control-flow analysis |
17 | Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi |
System Requirements and Formal Specifications of Hierarchical Reactive Systems. |
ICPADS |
2000 |
DBLP DOI BibTeX RDF |
Formal Specification, Reactive System, System Requirement, State Transition System, Soundness and Completeness |
17 | Venkatesan Guruswami, Daniel Lewin 0001, Madhu Sudan 0001, Luca Trevisan |
A Tight Characterization of NP with 3 Query PCPs. |
FOCS |
1998 |
DBLP DOI BibTeX RDF |
Probabilistically Checkable Proofs (PCP), Proof composition, Two-prover one-round proof systems, Adaptive and non-adaptive verifiers, Completeness and soundness, Complexity Theory, Query complexity |
17 | Frank S. de Boer |
A Proof System for the Language POOL. |
REX Workshop |
1990 |
DBLP DOI BibTeX RDF |
partial correctness, completeness, Object, soundness, Hoare-logic, pointers, proof-system, rendezvous, object-creation |
17 | Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan |
A logic for distributed transition systems. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
concurrent step, distributed transition systems, completeness, soundness, axiomatization |
17 | Dor Minzer, Kai Zhe Zheng |
Near Optimal Alphabet-Soundness Tradeoff PCPs. |
Electron. Colloquium Comput. Complex. |
2024 |
DBLP BibTeX RDF |
|
17 | Mitali Bafna, Noam Lifshitz, Dor Minzer |
Constant Degree Direct Product Testers with Small Soundness. |
Electron. Colloquium Comput. Complex. |
2024 |
DBLP BibTeX RDF |
|
17 | Mitali Bafna, Noam Lifshitz, Dor Minzer |
Constant Degree Direct Product Testers with Small Soundness. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Prabhanjan Ananth, Gilad Asharov, Vipul Goyal, Hadar Kaner, Pratik Soni, Brent Waters |
NIZKs with Maliciously Chosen CRS: Subversion Advice-ZK and Accountable Soundness. |
IACR Cryptol. ePrint Arch. |
2024 |
DBLP BibTeX RDF |
|
17 | Alex Kampa |
Simple Soundness Proofs. |
IACR Cryptol. ePrint Arch. |
2024 |
DBLP BibTeX RDF |
|
17 | Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini |
A Modular Soundness Theory for the Blackboard Analysis Architecture. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Ian Shillito, Dominik Kirst |
A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic. |
CPP |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca |
Resource-Aware Soundness for Big-Step Semantics. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Milica Matijevic Gostojic, Zeljko Vukovic |
A knowledge-based system for supporting the soundness of digital forensic investigations. |
Forensic Sci. Int. Digit. Investig. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Gabriel Egan, Mark Eisen, Alejandro Ribeiro, Santiago Segarra |
"I would I had that corporal soundness": Pervez Rizvi's Analysis of the Word Adjacency Network Method of Authorship Attribution. |
Digit. Scholarsh. Humanit. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello |
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. |
J. Parallel Distributed Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Joanna Alvarado-Uribe, Ari Yair Barrera-Animas, Miguel González-Mendoza 0001, Ariel Lucien García-Gamboa, Neil Hernández-Gress |
Towards a Standardized Evaluation of APIs Non-Functional Requirements Focused on Completeness and Soundness Qualities. |
Computación y Sistemas (CyS) |
2023 |
DBLP BibTeX RDF |
|
17 | David Solís Martín, Juan Galán-Páez, Joaquín Borrego-Díaz |
On the Soundness of XAI in Prognostics and Health Management (PHM). |
Inf. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi |
Gradual Soundness: Lessons from Static Python. |
Art Sci. Eng. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Yotam Dikstein, Irit Dinur |
Agreement theorems for high dimensional expanders in the small soundness regime: the role of covers. |
Electron. Colloquium Comput. Complex. |
2023 |
DBLP BibTeX RDF |
|
17 | David Solís Martín, Juan Galán-Páez, Joaquín Borrego-Díaz |
On the Soundness of XAI in Prognostics and Health Management (PHM). |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Miguel Monteiro, Fabio De Sousa Ribeiro, Nick Pawlowski, Daniel C. Castro, Ben Glocker |
Measuring axiomatic soundness of counterfactual image models. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Georg Friedrich Schuppe, Dilian Gurov |
Soundness and Completeness of a Model-Checking Proof System for CTL. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Yotam Dikstein, Irit Dinur |
Agreement theorems for high dimensional expanders in the small soundness regime: the role of covers. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Gaëtan Cassiers, Loïc Masure, Charles Momin, Thorben Moos, François-Xavier Standaert |
Prime-Field Masking in Hardware and its Soundness against Low-Noise SCA Attacks. |
IACR Trans. Cryptogr. Hardw. Embed. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Behzad Abdolmaleki, Céline Chevalier, Ehsan Ebrahimi, Giulio Malavolta, Quoc-Huy Vu |
On Quantum Simulation-Soundness. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
17 | Bolton Bailey, Andrew Miller |
Formalizing Soundness Proofs of SNARKs. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
17 | Gal Arnon, Alessandro Chiesa, Eylon Yogev |
IOPs with Inverse Polynomial Soundness Error. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
17 | Alexander R. Block, Albert Garreta, Pratyush Ranjan Tiwari, Michal Zajac 0001 |
On Soundness Notions for Interactive Oracle Proofs. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
17 | Thomas Attema, Serge Fehr, Nicolas Resch |
A Generalized Special-Soundness Notion and its Knowledge Extractors. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
17 | Sofía Celi, Shai Levin, Joe Rowell |
CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
17 | Anders Schlichtkrull |
Soundness of the Q0 proof system for higher-order logic. |
Arch. Formal Proofs |
2023 |
DBLP BibTeX RDF |
|
17 | Anca Avram, Oliviu Matei, Camelia-Mihaela Pintea, Petrica C. Pop |
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Cris Niño N. Sulla, Jasmine A. Malinao |
Mapping of Robustness Diagram with Loop and Time Controls to Petri Net with Considerations on Soundness. |
NiDS (2) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Dor Minzer, Kai Zheng |
Approaching the Soundness Barrier: A Near Optimal Analysis of the Cube versus Cube Test. |
SODA |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz |
Modular Soundness Checking of Feature Model Evolution Plans. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Attema, Serge Fehr, Nicolas Resch |
Generalized Special-Sound Interactive Proofs and Their Knowledge Soundness. |
TCC (3) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev |
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Gal Arnon, Alessandro Chiesa, Eylon Yogev |
IOPs with Inverse Polynomial Soundness Error. |
FOCS |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Paolo Felli, Marco Montali, Sarah Winkler |
Repairing Soundness Properties in Data-Aware Processes. |
ICPM |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Miguel Monteiro, Fabio De Sousa Ribeiro, Nick Pawlowski, Daniel C. Castro, Ben Glocker |
Measuring axiomatic soundness of counterfactual image models. |
ICLR |
2023 |
DBLP BibTeX RDF |
|
17 | Zhenhe Cui, Weidu Kuang, Yongmei Liu 0001 |
Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning. |
IJCAI |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Clement Blaudeau, Fengyun Liu |
A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi |
Gradual Soundness: Lessons from Static Python. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Mirko Spasic, Milena Vujosevic-Janicic |
Soundness and Completeness of SPARQL Query Containment Solver SpeCS. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Kaiji Lu, Anupam Datta |
Order-sensitive Shapley Values for Evaluating Conceptual Soundness of NLP Models. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Dor Minzer, Kai Zheng |
Approaching the Soundness Barrier: A Near Optimal Analysis of the Cube versus Cube Test. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Michael Blondin, Filip Mazowiecki, Philip Offtermatt |
The complexity of soundness in workflow nets. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
17 | Pedro Barroso, Mário Pereira, António Ravara |
Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version). |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Michael Blondin, Filip Mazowiecki, Philip Offtermatt |
Verifying generalised and structural soundness of workflow nets via relaxations. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Paolo Felli, Marco Montali, Sarah Winkler |
Soundness of Data-Aware Processes with Arithmetic Conditions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Patterson 0001, Noble Mushtak, Andrew Wagner, Amal Ahmed 0001 |
Semantic Soundness for Language Interoperability. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
17 | Yuan Tian |
Efficient Zero Knowledge Arguments for Bilinear Matrix Relations over Finite Fields and Knowledge-Soundness Enhancement via Operations over Extended Field. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
17 | Asta Halkjær From, Jørgen Villadsen |
Soundness and Completeness of Implicational Logic. |
Arch. Formal Proofs |
2022 |
DBLP BibTeX RDF |
|
17 | Eoin Moore |
Soundness and completeness results for LEA and probability semantics. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Pedro Barroso, Mário Pereira, António Ravara |
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable. |
VSTTE |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Michael Blondin, Filip Mazowiecki, Philip Offtermatt |
Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations. |
CAV (2) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Yusuke Ikeno, James Angel, Sabitra Sankalp Panigrahi |
Soundness of Stablecoins. |
Financial Cryptography Workshops |
2022 |
DBLP DOI BibTeX RDF |
|