A mechanism of function calls in MSVL

DOI10.1016/j.tcs.2016.02.037zbMath1353.68184OpenAlexW2294578947MaRDI QIDQ344760

Cong Tian, Nan Zhang, Zhenhua Duan

Publication date: 24 November 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.02.037

zbMATH Keywords

verificationmodelingsimulationprojectiontemporal logic programmingfunction call

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)

Related Items (5)

A compiler for MSVL and its applications ⋮ Efficient decision procedure for propositional projection temporal logic ⋮ A decision procedure and complete axiomatization for projection temporal logic ⋮ Translating Xd-C programs to MSVL programs ⋮ A novel approach to verifying context free properties of programs

Uses Software

• CESAR

Cites Work

• A cylinder computation model for many-core parallel computing
• Modular verification of multithreaded programs
• A formal proof of the deadline driven scheduler in PPTL axiomatic system
• Negation in rule-based database languages: A survey
• A methodology for hardware verification using compositional model checking
• Framed temporal logic programming
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
• Modularity for timed and hybrid systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A mechanism of function calls in MSVL